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