diff --git a/Polygon_mesh_processing/include/CGAL/Polygon_mesh_processing/internal/Corefinement/Generic_clip_output_builder.h b/Polygon_mesh_processing/include/CGAL/Polygon_mesh_processing/internal/Corefinement/Generic_clip_output_builder.h index f391696cb3a..0a7c1961ff1 100644 --- a/Polygon_mesh_processing/include/CGAL/Polygon_mesh_processing/internal/Corefinement/Generic_clip_output_builder.h +++ b/Polygon_mesh_processing/include/CGAL/Polygon_mesh_processing/internal/Corefinement/Generic_clip_output_builder.h @@ -125,6 +125,7 @@ public: void set_vertex_id(vertex_descriptor v, Node_id node_id, const TriangleMesh& tm) { + CGAL_use(tm); CGAL_assertion(&tm == &tm1); vertex_to_node_id1.insert( std::make_pair(v, node_id) ); }