From 2daccab1cb3a89b68b2f75812a89506b251778ae Mon Sep 17 00:00:00 2001
From: Costa Vitor <vitor@quasar-20.(none)>
Date: Tue, 2 Jun 2009 18:08:40 -0500
Subject: [PATCH] avoid setjmp if we can do it.

---
 C/sysbits.c | 9 ---------
 1 file changed, 9 deletions(-)

diff --git a/C/sysbits.c b/C/sysbits.c
index b3015ab27..0a894dd67 100644
--- a/C/sysbits.c
+++ b/C/sysbits.c
@@ -1427,15 +1427,6 @@ InteractSIGINT(int ch) {
     } else {
       Yap_Error(PURE_ABORT, TermNil, "abort from console");
       /* in case someone mangles the P register */
-      save_machine_regs();
-#if  _MSC_VER || defined(__MINGW32__)
-      /* don't even think about trying this */
-#else
-#if PUSH_REGS
-      restore_absmi_regs(&Yap_standard_regs);
-#endif
-      siglongjmp (Yap_RestartEnv, 1);
-#endif
     }
     return -1;
   case 'b':