Chris@16: // This file is automatically generated. Do not edit.
Chris@16: // ['../../libs/compatibility/generate_cpp_c_headers.py']
Chris@16: // Wed Jul 23 12:11:19 2003 ('GMTST', 'GMTST')
Chris@16: 
Chris@16: #ifndef __CTIME_HEADER
Chris@16: #define __CTIME_HEADER
Chris@16: 
Chris@16: #include <time.h>
Chris@16: 
Chris@16: namespace std {
Chris@16:   using ::size_t;
Chris@16:   using ::clock_t;
Chris@16:   using ::time_t;
Chris@16:   using ::tm;
Chris@16:   using ::asctime;
Chris@16:   using ::clock;
Chris@16:   using ::difftime;
Chris@16:   using ::localtime;
Chris@16:   using ::strftime;
Chris@16:   using ::ctime;
Chris@16:   using ::gmtime;
Chris@16:   using ::mktime;
Chris@16:   using ::time;
Chris@16: }
Chris@16: 
Chris@16: #endif // CTIME_HEADER