From 1770a8b0eca8d3b51e83c2909242dec3dd10af3f Mon Sep 17 00:00:00 2001
From: Laurent Rineau <Laurent.Rineau__CGAL@normalesup.org>
Date: Fri, 31 Jan 2003 13:45:23 +0000
Subject: [PATCH] Improved pop_front() in the Double_map

---
 Packages/Mesh_2/include/CGAL/Double_map.h | 6 +++++-
 1 file changed, 5 insertions(+), 1 deletion(-)

diff --git a/Packages/Mesh_2/include/CGAL/Double_map.h b/Packages/Mesh_2/include/CGAL/Double_map.h
index 80c2b39f913..d17e89f9e45 100644
--- a/Packages/Mesh_2/include/CGAL/Double_map.h
+++ b/Packages/Mesh_2/include/CGAL/Double_map.h
@@ -89,7 +89,11 @@ public :
 
   void pop_front()
     {
-      erase(front()->second);
+      reverse_iterator rit = reverse_func.begin();
+      direct_iterator pos = direct_func.find(rit->second);
+      assert(pos != direct_func.end());
+      direct_func.erase(pos);
+      reverse_func.erase(rit);
     }
 
   class Second_is {