summaryrefslogtreecommitdiff
path: root/python
diff options
context:
space:
mode:
authorTimotej Lazar <timotej.lazar@fri.uni-lj.si>2015-11-18 12:42:09 +0100
committerTimotej Lazar <timotej.lazar@fri.uni-lj.si>2015-11-18 12:42:09 +0100
commitd3dd46c458500c7adb020d0338dacd55655137c7 (patch)
tree14fd2f855fe70c4f36dc76a4f0ee0f49476c0a45 /python
parent56d84be5cfb800f73195cd47c54c5903ba96c6ce (diff)
Do not handle engine errors in hint functions
Such errors are now handled in server.prolog_session.
Diffstat (limited to 'python')
0 files changed, 0 insertions, 0 deletions