From 01b91da1cd1ae9e9ab46999b1d549836062887ee Mon Sep 17 00:00:00 2001
From: Matthew Barr <matthew.barr@intel.com>
Date: Thu, 16 Mar 2017 16:30:01 +1100
Subject: [PATCH] Use the default allocator for std::vector

---
 src/util/small_vector.h | 3 +--
 1 file changed, 1 insertion(+), 2 deletions(-)

diff --git a/src/util/small_vector.h b/src/util/small_vector.h
index c67ad562..0b60d8c0 100644
--- a/src/util/small_vector.h
+++ b/src/util/small_vector.h
@@ -52,8 +52,7 @@ using small_vector = boost::container::small_vector<T, N, Allocator>;
 #else
 
 // Boost version isn't new enough, fall back to just using std::vector.
-template <class T, std::size_t N,
-          typename Allocator = boost::container::new_allocator<T>>
+template <class T, std::size_t N, typename Allocator = std::allocator<T>>
 using small_vector = std::vector<T, Allocator>;
 
 #endif // HAVE_BOOST_CONTAINER_SMALL_VECTOR