make sure to reset state after error.

2014-10-20 00:33:36 +01:00
parent a837a303d4
commit bf0844a2a0
2 changed files with 3 additions and 1 deletions
--- a/C/eval.c
+++ b/C/eval.c
@@ -437,6 +437,7 @@ Yap_EvalError(yap_error_number type, Term where, char *format,...)
  va_list ap;

  if (LOCAL_ArithError) {
+      LOCAL_ArithError = YAP_NO_ERROR;
    return Yap_Error( LOCAL_Error_TYPE, LOCAL_Error_Term, LOCAL_ErrorMessage);
  }