1// This file is automatically generated. Do not edit.
2// ['../../libs/compatibility/generate_cpp_c_headers.py']
3// Wed Jul 23 12:11:19 2003 ('GMTST', 'GMTST')
4
5#ifndef __CTIME_HEADER
6#define __CTIME_HEADER
7
8#include <time.h>
9
10namespace std {
11  using ::size_t;
12  using ::clock_t;
13  using ::time_t;
14  using ::tm;
15  using ::asctime;
16  using ::clock;
17  using ::difftime;
18  using ::localtime;
19  using ::strftime;
20  using ::ctime;
21  using ::gmtime;
22  using ::mktime;
23  using ::time;
24}
25
26#endif // CTIME_HEADER
27