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 __CSETJMP_HEADER
- #define __CSETJMP_HEADER
- #include <setjmp.h>
- namespace std {
- using ::jmp_buf;
- using ::longjmp;
- }
- #endif // CSETJMP_HEADER
|