From cc8dac3d7fd59d2dca2c67de2091befa50167a09 Mon Sep 17 00:00:00 2001
From: Peter Hachenberger <hachenberger@mpi-inf.mpg.de>
Date: Tue, 20 May 2008 20:01:56 +0000
Subject: [PATCH] use deque instead of vector

---
 Nef_3/Minkowski/include/CGAL/Nef_3/Reflex_edge_searcher.h | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/Nef_3/Minkowski/include/CGAL/Nef_3/Reflex_edge_searcher.h b/Nef_3/Minkowski/include/CGAL/Nef_3/Reflex_edge_searcher.h
index f6a21342a91..4e9e9ed92da 100644
--- a/Nef_3/Minkowski/include/CGAL/Nef_3/Reflex_edge_searcher.h
+++ b/Nef_3/Minkowski/include/CGAL/Nef_3/Reflex_edge_searcher.h
@@ -35,7 +35,7 @@ class Reflex_edge_searcher : public Modifier_base<typename Nef_::SNC_structure>
   typedef typename SNC_structure::Sphere_circle           Sphere_circle;
   typedef typename SNC_structure::Sphere_segment          Sphere_segment;
 
-  typedef typename std::vector<Halfedge_handle>           Edge_list;
+  typedef typename std::deque<Halfedge_handle>           Edge_list;
 
  public:
   typedef typename Edge_list::iterator                    Reflex_sedge_iterator;