> > +/** @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
