1 files changed, 0 insertions, 7 deletions
diff --git a/nonstd/public/setjmp.h b/nonstd/public/setjmp.h
deleted file mode 100644
index fb510bdc..00000000
--- a/nonstd/public/setjmp.h
+++ /dev/null
@@ -1,7 +0,0 @@
-#include <setjmp.h>
-
-int __setjmp(jmp_buf env)
-{
-	(void)env;
-	return 0;
-}