@@ -366,21 +366,21 @@ class circular_buffer
             }
             else
             {
-                alloc_.construct(array_ + next, item);
+                std::allocator_traits<Alloc>::construct(alloc_, array_ + next, item);
             }
             increment_tail();
         }
         void pop_front()
         {
             size_type destroy_pos = head_;
             increment_head();
-            alloc_.destroy(array_ + destroy_pos);
+            std::allocator_traits<Alloc>::destroy(alloc_, array_ + destroy_pos);
         }
         void clear()
         {
             for (size_type n = 0; n < contents_size_; ++n)
             {
-                alloc_.destroy(array_ + index_to_subscript(n));
+                std::allocator_traits<Alloc>::destroy(alloc_, array_ + index_to_subscript(n));
             }
             head_ = 1;
             tail_ = contents_size_ = 0;
Original file line number	Diff line number	Diff line change
`@@ -366,21 +366,21 @@ class circular_buffer`
`366`	`366`	`}`
`367`	`367`	`else`
`368`	`368`	`{`
`369`		`- alloc_.construct(array_ + next, item);`
	`369`	`+ std::allocator_traits<Alloc>::construct(alloc_, array_ + next, item);`
`370`	`370`	`}`
`371`	`371`	`increment_tail();`
`372`	`372`	`}`
`373`	`373`	`void pop_front()`
`374`	`374`	`{`
`375`	`375`	`size_type destroy_pos = head_;`
`376`	`376`	`increment_head();`
`377`		`- alloc_.destroy(array_ + destroy_pos);`
	`377`	`+ std::allocator_traits<Alloc>::destroy(alloc_, array_ + destroy_pos);`
`378`	`378`	`}`
`379`	`379`	`void clear()`
`380`	`380`	`{`
`381`	`381`	`for (size_type n = 0; n < contents_size_; ++n)`
`382`	`382`	`{`
`383`		`- alloc_.destroy(array_ + index_to_subscript(n));`
	`383`	`+ std::allocator_traits<Alloc>::destroy(alloc_, array_ + index_to_subscript(n));`
`384`	`384`	`}`
`385`	`385`	`head_ = 1;`
`386`	`386`	`tail_ = contents_size_ = 0;`