/***************************** PDI STD File ***********************************
This file is taken from external sources. this is taken from open source uClibc++ 
library available on github. below is reference link. Thanking to author for
providing this .

This is free software. you can redistribute it and/or modify it but without any
warranty.

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

