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