songsenand
/
cgal
mirror of https://github.com/CGAL/cgal
1
0
Fork 0
Code Issues Packages Projects Releases Wiki Activity

Merge pull request #6258 from sloriot/PMP-snap_post_cond 

fix post condition
This commit is contained in:
Laurent Rineau 2022-02-01 08:58:31 +01:00
parent d6a7b1af8d a0c17c8655
commit 32f8b7fa4d
1 changed files with 1 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
Polygon_mesh_processing/include/CGAL/Polygon_mesh_processing/internal/Snapping/snap.h
View File

@ -178,7 +178,7 @@ void simplify_range(HalfedgeRange& halfedge_range,
halfedge_range = HalfedgeRange(new_range.begin(), new_range.end()); 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> // Adapted from <CGAL/AABB_tree/internal/AABB_traversal_traits.h>