diff --git a/Polygon_mesh_processing/include/CGAL/Polygon_mesh_processing/internal/Corefinement/Output_builder_for_autorefinement.h b/Polygon_mesh_processing/include/CGAL/Polygon_mesh_processing/internal/Corefinement/Output_builder_for_autorefinement.h
index 4134d4fa689..d559c0161f9 100644
--- a/Polygon_mesh_processing/include/CGAL/Polygon_mesh_processing/internal/Corefinement/Output_builder_for_autorefinement.h
+++ b/Polygon_mesh_processing/include/CGAL/Polygon_mesh_processing/internal/Corefinement/Output_builder_for_autorefinement.h
@@ -178,7 +178,7 @@ public:
     std::pair<typename An_edge_per_polyline_map::iterator,bool> res=
       an_edge_per_polyline.insert(std::make_pair(make_sorted_pair(i,j),
                                                  Shared_halfedges() ) );
-
+    CGAL_USE(res);
     CGAL_assertion(res.second);
   }
 
diff --git a/Polygon_mesh_processing/include/CGAL/Polygon_mesh_processing/internal/Corefinement/Visitor.h b/Polygon_mesh_processing/include/CGAL/Polygon_mesh_processing/internal/Corefinement/Visitor.h
index e8e370ba1bc..615ab82d7bd 100644
--- a/Polygon_mesh_processing/include/CGAL/Polygon_mesh_processing/internal/Corefinement/Visitor.h
+++ b/Polygon_mesh_processing/include/CGAL/Polygon_mesh_processing/internal/Corefinement/Visitor.h
@@ -659,7 +659,7 @@ public:
             {
               //get the corresponding halfedge with vertex corresponding to node_id_of_first
               halfedge_descriptor hedge=it_node_2_hedge->second;
-              CGAL_assertion_code(halfedge_descriptor start=hedge;)
+              halfedge_descriptor start=hedge;
               while ( source(hedge,tm) !=
                       target(it_node_2_hedge_two->second,tm) )
               {