From a0c17c8655d3812acdedafafef117c251a85dc39 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?S=C3=A9bastien=20Loriot?= <sebastien.loriot@cgal.org>
Date: Wed, 19 Jan 2022 13:21:00 +0100
Subject: [PATCH] fix post condition

---
 .../CGAL/Polygon_mesh_processing/internal/Snapping/snap.h       | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/Polygon_mesh_processing/include/CGAL/Polygon_mesh_processing/internal/Snapping/snap.h b/Polygon_mesh_processing/include/CGAL/Polygon_mesh_processing/internal/Snapping/snap.h
index be223c4da04..45fa0ac7a92 100644
--- a/Polygon_mesh_processing/include/CGAL/Polygon_mesh_processing/internal/Snapping/snap.h
+++ b/Polygon_mesh_processing/include/CGAL/Polygon_mesh_processing/internal/Snapping/snap.h
@@ -178,7 +178,7 @@ void simplify_range(HalfedgeRange& halfedge_range,
 
   halfedge_range = HalfedgeRange(new_range.begin(), new_range.end());
 
-  CGAL_postcondition(halfedge_range.size() == initial_n - collapsed_n);
+  CGAL_postcondition(halfedge_range.size() <= initial_n - collapsed_n);
 }
 
 // Adapted from <CGAL/AABB_tree/internal/AABB_traversal_traits.h>