// 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
