123456789101112131415 |
- // 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 __CSTDDEF_HEADER
- #define __CSTDDEF_HEADER
- #include <stddef.h>
- namespace std {
- using ::ptrdiff_t;
- using ::size_t;
- }
- #endif // CSTDDEF_HEADER
|