/***************************** PDI STD File ***********************************
This file is third party source, taken from the open source uClibc++ library and
used here with modifications. Thanking to author for providing this .

for the license terms of this file refer the source link below.

referred from   : https://github.com/mike-matera/ArduinoSTL
added Date      : 1st Dec 2024
added by        : Suraj I.
******************************************************************************/

#ifndef __PDISTD_HEADER_CSETJMP
#define __PDISTD_HEADER_CSETJMP 1

#include <setjmp.h>


//From GCC Header files
#undef longjmp

// Adhere to section 17.4.1.2 clause 5 of ISO 14882:1998
#ifndef setjmp
#define setjmp(env) setjmp (env)
#endif

//Mine again


namespace pdistd{
	using ::longjmp;
	using ::jmp_buf;
}


#endif

