From b80fd74b737250310328e99ebaf8ddbb0d5bb49e Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?S=C3=A9bastien=20Loriot?= Date: Fri, 17 Jun 2011 13:07:06 +0000 Subject: [PATCH] BUGFIX: this is safer to compare to the size of indices --- STL_Extension/include/CGAL/Modifiable_priority_queue.h | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) 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(); } };