diff --git a/Polygon_mesh_processing/include/CGAL/Polyhedral_envelope.h b/Polygon_mesh_processing/include/CGAL/Polyhedral_envelope.h
index 2782d4d5685..2803287ebc9 100644
--- a/Polygon_mesh_processing/include/CGAL/Polyhedral_envelope.h
+++ b/Polygon_mesh_processing/include/CGAL/Polyhedral_envelope.h
@@ -514,6 +514,12 @@ private:
                 datum_map,
                 point_map);
     tree.build();
+
+#ifdef CGAL_ENVELOPE_DEBUG
+    for(unsigned int i = 0; i < halfspace.size(); ++i){
+      prism_to_off(i, "prism");
+    }
+#endif
   }