/* SETJMP.ADJ */

/*
** "setjmp.h" adjustment file for 'dcc'.
** Created 19981218 by Yves Noyelle (Yves.Noyelle@supelec.fr)
*/

#ifndef __SETJMP_ADJ
#define __SETJMP_ADJ

extern int setjmp(jmp_buf) /*~Utility*/;  /* must be present, to inhibit
							      possible macro. */
extern void longjmp(const jmp_buf, int) /*~NeverReturns*/;
extern void siglongjmp(const sigjmp_buf, int) /*~NeverReturns*/;

#endif /* __SETJMP_ADJ */

/* End SETJMP.ADJ */