diff --git a/Polygon_mesh_processing/examples/Polygon_mesh_processing/corefinement_consecutive_bool_op.cpp b/Polygon_mesh_processing/examples/Polygon_mesh_processing/corefinement_consecutive_bool_op.cpp
index 6ade126528c..2696bd1b85b 100644
--- a/Polygon_mesh_processing/examples/Polygon_mesh_processing/corefinement_consecutive_bool_op.cpp
+++ b/Polygon_mesh_processing/examples/Polygon_mesh_processing/corefinement_consecutive_bool_op.cpp
@@ -11,7 +11,6 @@ typedef CGAL::Exact_predicates_exact_constructions_kernel EK;
 typedef CGAL::Surface_mesh<K::Point_3> Mesh;
 typedef boost::graph_traits<Mesh>::vertex_descriptor vertex_descriptor;
 typedef Mesh::Property_map<vertex_descriptor,EK::Point_3> Exact_point_map;
-typedef Mesh::Property_map<vertex_descriptor,bool> Exact_point_computed;
 
 namespace PMP = CGAL::Polygon_mesh_processing;
 namespace params = PMP::parameters;