From 4cd55ba23f408f1d5d2980d8b9f75668653a2fd1 Mon Sep 17 00:00:00 2001 From: Eric Berberich Date: Tue, 9 Jun 2009 00:14:50 +0000 Subject: [PATCH] changed precondition --- .../CGAL/Boolean_set_operations_2/Gps_bfs_base_visitor.h | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/Boolean_set_operations_2/include/CGAL/Boolean_set_operations_2/Gps_bfs_base_visitor.h b/Boolean_set_operations_2/include/CGAL/Boolean_set_operations_2/Gps_bfs_base_visitor.h index 0d7c00b13f6..04619ba9168 100644 --- a/Boolean_set_operations_2/include/CGAL/Boolean_set_operations_2/Gps_bfs_base_visitor.h +++ b/Boolean_set_operations_2/include/CGAL/Boolean_set_operations_2/Gps_bfs_base_visitor.h @@ -79,7 +79,7 @@ public: // mark the unbounded_face (true iff contained) void visit_ubf(Face_iterator ubf, unsigned int ubf_ic) { - CGAL_assertion(ubf->number_of_outer_ccbs() == 0); + CGAL_assertion(ubf->is_unbounded()); if(static_cast(this)->contained_criteria(ubf_ic)) ubf->set_contained(true); }