diff --git a/STL_Extension/include/CGAL/STL_Extension/internal/boost/relaxed_heap.hpp b/STL_Extension/include/CGAL/STL_Extension/internal/boost/relaxed_heap.hpp index 7996c1af5dd..c91dea7d62f 100644 --- a/STL_Extension/include/CGAL/STL_Extension/internal/boost/relaxed_heap.hpp +++ b/STL_Extension/include/CGAL/STL_Extension/internal/boost/relaxed_heap.hpp @@ -194,7 +194,7 @@ public: void remove(const value_type& x) { group* a = &index_to_group[get(id, x) / log_n]; - CGAL_assertion(groups[get(id, x)]); + CGAL_assertion(static_cast< bool >(groups[get(id, x)])); a->value = x; a->kind = smallest_key; promote(a);