diff --git a/src/common/memory_allocator.h b/src/common/memory_allocator.h index 69055a15..d28fbfc3 100644 --- a/src/common/memory_allocator.h +++ b/src/common/memory_allocator.h @@ -160,9 +160,12 @@ class PageAllocator { // Wrapper to use with STL containers template -struct PageStdAllocator : public std::allocator { - typedef typename std::allocator::pointer pointer; - typedef typename std::allocator::size_type size_type; +struct PageStdAllocator { + using AllocatorTraits = std::allocator_traits>; + using value_type = typename AllocatorTraits::value_type; + using pointer = typename AllocatorTraits::pointer; + using difference_type = typename AllocatorTraits::difference_type; + using size_type = typename AllocatorTraits::size_type; explicit PageStdAllocator(PageAllocator& allocator) : allocator_(allocator), stackdata_(NULL),