face_hole_merge_workaround.patch 575 B

123456789101112131415
  1. diff -r e82d852e4fb0 lib/intersect_face_division.cpp
  2. --- a/lib/intersect_face_division.cpp Wed Jan 15 13:16:14 2014 +1100
  3. +++ b/lib/intersect_face_division.cpp Thu Mar 13 15:39:26 2014 +0600
  4. @@ -719,6 +719,10 @@
  5. unassigned--;
  6. }
  7. }
  8. +
  9. + if (!removed.size())
  10. + throw carve::exception("Failed to merge holes");
  11. +
  12. for (std::set<int>::iterator f = removed.begin(); f != removed.end(); ++f) {
  13. for (unsigned i = 0; i < containing_faces.size(); ++i) {
  14. containing_faces[i].erase(std::remove(containing_faces[i].begin(),