> > +/** @file bits/alloc_traits.h
> > + * This is an internal header file, included by other library
> > headers.
> > + * Do not attempt to use it directly.
> > @headername{scoped_allocator}
> > + */
> > +
> >
> > The correct header for allocator_traits is <memory>
Ack. Thanks for the review. Kind of mind-numbing, these changes.
-benjamin