From 6580278e2c1374fb9ef1cf1688765b7e5258be42 Mon Sep 17 00:00:00 2001
From: Benoit Jacob <jacob.benoit.1@gmail.com>
Date: Fri, 21 Aug 2009 12:08:59 -0400
Subject: [PATCH] fix potential compilation issue

---
 Eigen/StdVector | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/Eigen/StdVector b/Eigen/StdVector
index c39601c53..e8e8dc0aa 100644
--- a/Eigen/StdVector
+++ b/Eigen/StdVector
@@ -125,9 +125,9 @@ class vector<T,DummyAlloc,true>
   void resize(size_type __new_size, const value_type& __x)
   {
     if (__new_size < vector_base::size())
-      erase(vector_base::begin() + __new_size, vector_base::end());
+      vector_base::erase(vector_base::begin() + __new_size, vector_base::end());
     else
-      insert(vector_base::end(), __new_size - vector_base::size(), __x);
+      vector_base::insert(vector_base::end(), __new_size - vector_base::size(), __x);
   }
   #else
   // Before gcc-4.1 we already have: std::vector::resize(size_type,const T&),