From b8efebd865159da27390d3529cf2c0caee11a55f Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?S=C3=A9bastien=20Loriot?= Date: Wed, 19 Aug 2020 16:34:22 +0200 Subject: [PATCH] fix warning --- .../internal/Corefinement/Generic_clip_output_builder.h | 1 + 1 file changed, 1 insertion(+) 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) ); }