1 // -*- C++ -*- forwarding header.
2 // This file is part of the GNU ANSI C++ Library.
8 // Add some types in the std namespace, since the boost library seems
9 // to look for them (JMarc)
11 typedef ::size_t size_t;
12 typedef ::ptrdiff_t ptrdiff_t;