diff options
author | Timotej Lazar <timotej.lazar@araneo.org> | 2014-07-31 15:17:35 +0200 |
---|---|---|
committer | Aleš Smodiš <aless@guru.si> | 2015-08-11 14:26:00 +0200 |
commit | 7b0bcc5c6c71cf6a9b68aae531f91e6ea07d123b (patch) | |
tree | 883c2e727ceec57ccc0ea0ec2a7e8828ad0caa1e /prolog/engine.py | |
parent | 7e6d03b6101db38c56ea001995ab98d197f245aa (diff) |
Add PL_clear_exception to prolog/core.py
Diffstat (limited to 'prolog/engine.py')
-rwxr-xr-x | prolog/engine.py | 2 |
1 files changed, 2 insertions, 0 deletions
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) |