Use the default allocator for std::vector

diff --git a/src/util/small_vector.h b/src/util/small_vector.h
index c67ad5626721bc39f7c7b4c9f356c3bdf6a896bf..0b60d8c0fa432e7c998c8d9b8f5052df4820df1b 100644 (file)
--- 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