From 44b8b2df02bce9e895d77629806c1336a8da311a Mon Sep 17 00:00:00 2001 From: Maxime Gimeno Date: Wed, 31 Jul 2019 15:46:14 +0200 Subject: [PATCH] Fix flip edges for 3-edges borders. --- Polyhedron/demo/Polyhedron/Scene_polyhedron_selection_item.cpp | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) diff --git a/Polyhedron/demo/Polyhedron/Scene_polyhedron_selection_item.cpp b/Polyhedron/demo/Polyhedron/Scene_polyhedron_selection_item.cpp index 371f2dee09c..79d83f2b2cc 100644 --- a/Polyhedron/demo/Polyhedron/Scene_polyhedron_selection_item.cpp +++ b/Polyhedron/demo/Polyhedron/Scene_polyhedron_selection_item.cpp @@ -1163,7 +1163,8 @@ bool Scene_polyhedron_selection_item:: treat_selection(const std::set