From 2f140669bebc056cc21d58697801aaae39db3e33 Mon Sep 17 00:00:00 2001
From: Richard Roberts <richard.jw.roberts@gmail.com>
Date: Fri, 16 Aug 2013 20:29:34 +0000
Subject: [PATCH] Fix for previous commit that didn't work in GCC

---
 gtsam/base/FastVector.h | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/gtsam/base/FastVector.h b/gtsam/base/FastVector.h
index 23d0e05af..be3eaa981 100644
--- a/gtsam/base/FastVector.h
+++ b/gtsam/base/FastVector.h
@@ -39,7 +39,7 @@ class FastVector: public std::vector<VALUE, typename internal::FastDefaultVector
 
 public:
 
-  typedef std::vector<VALUE, allocator_type> Base;
+  typedef std::vector<VALUE, typename internal::FastDefaultVectorAllocator<VALUE>::type> Base;
 
   /** Default constructor */
   FastVector() {}