diff --git a/STL_Extension/include/CGAL/Modifiable_priority_queue.h b/STL_Extension/include/CGAL/Modifiable_priority_queue.h index be21614a98a..46f8d4f0238 100644 --- a/STL_Extension/include/CGAL/Modifiable_priority_queue.h +++ b/STL_Extension/include/CGAL/Modifiable_priority_queue.h @@ -56,7 +56,7 @@ public: } bool contains(const IndexedType& x) const { - return this->index_array[ get(this->id, x) ] < this->c.size(); + return this->index_array[ get(this->id, x) ] !=this->index_array.size(); } };