fixes for signal handling

2014-09-02 22:24:01 -05:00
parent 99713d81a6
commit b942c1ef13
3 changed files with 2 additions and 5 deletions
--- a/C/absmi.c
+++ b/C/absmi.c
@@ -606,9 +606,6 @@ check_alarm_fail_int(int CONT USES_REGS)
      return CONT;
    }
 #endif
-  if (Yap_get_signal( YAP_INT_SIGNAL ) ) {
-      Yap_Error(PURE_ABORT, TermNil, "abort from console");
-  }
  if (Yap_get_signal( YAP_FAIL_SIGNAL )) {
      return FALSE;
  }