diff options
Diffstat (limited to 'prolog')
| -rw-r--r-- | prolog/core.py | 4 | ||||
| -rwxr-xr-x | prolog/engine.py | 2 |
2 files changed, 6 insertions, 0 deletions
diff --git a/prolog/core.py b/prolog/core.py index b14e58f..afcfdd0 100644 --- a/prolog/core.py +++ b/prolog/core.py @@ -860,6 +860,10 @@ PL_cons_list.restype = None PL_exception = _lib.PL_exception PL_exception.argtypes = [qid_t] PL_exception.restype = term_t + +PL_clear_exception = _lib.PL_clear_exception +PL_clear_exception.restype = None + # PL_register_foreign = _lib.PL_register_foreign diff --git a/prolog/engine.py b/prolog/engine.py index bd67d86..f9cc6ce 100755 --- a/prolog/engine.py +++ b/prolog/engine.py @@ -191,6 +191,8 @@ class PrologEngine(object): sys.stderr.write('Error: ' + str(Msg) + '\n') else: sys.stderr.write('Unknown error\n') + # uncomment this if we get segfaults + #PL_clear_exception() break PL_close_query(qid) |