Added a quick return to P3RT3 set_point() if the new position is the current one

This commit is contained in:
Mael Rouxel-Labbé 2018-07-18 16:51:43 +02:00
parent 8baecca728
commit 7c68a8a743
1 changed files with 3 additions and 0 deletions

View File

@ -817,6 +817,9 @@ public:
CGAL_triangulation_precondition(new_position.y() >= domain().ymin()); CGAL_triangulation_precondition(new_position.y() >= domain().ymin());
CGAL_triangulation_precondition(new_position.z() >= domain().zmin()); CGAL_triangulation_precondition(new_position.z() >= domain().zmin());
if(new_position == v->point())
return;
Offset offset_change_from_move; Offset offset_change_from_move;
if(moved_p.x() < domain().xmin()) if(moved_p.x() < domain().xmin())