1 files changed, 0 insertions, 24 deletions
diff --git a/translate/grt/grt-cbinding.c b/translate/grt/grt-cbinding.c
index 1f37d2988..8885e1232 100644
--- a/translate/grt/grt-cbinding.c
+++ b/translate/grt/grt-cbinding.c
@@ -18,7 +18,6 @@
 */
 #include <stdio.h>
 #include <stdlib.h>
-#include <setjmp.h>
 
 FILE *
 __ghdl_get_stdout (void)
@@ -44,29 +43,6 @@ __ghdl_fprintf_g (FILE *stream, double val)
   fprintf (stream, "%g", val);
 }
 
-static int run_env_en;
-static jmp_buf run_env;
-
-void
-__ghdl_maybe_return_via_longjump (int val)
-{
-  if (run_env_en)
-    longjmp (run_env, val);
-}
-
-int
-__ghdl_run_through_longjump (int (*func)(void))
-{
-  int res;
-
-  run_env_en = 1;
-  res = setjmp (run_env);
-  if (res == 0)
-    res = (*func)();
-  run_env_en = 0;
-  return res;
-}
-
 #if 1
 void
 __gnat_last_chance_handler (void)