summaryrefslogtreecommitdiff
path: root/prolog
diff options
context:
space:
mode:
authorTimotej Lazar <timotej.lazar@fri.uni-lj.si>2016-02-25 17:21:10 +0100
committerTimotej Lazar <timotej.lazar@fri.uni-lj.si>2016-02-25 17:21:10 +0100
commit705be7b3ad45212629d6c60476afd3e2a405e52b (patch)
tree5a1f2a0b06728c257da7aa30051efec98be50aee /prolog
parentb0033953c1f7677a30471692d93d2e669b0aeecc (diff)
Destroy the pengine before creating a new one
Diffstat (limited to 'prolog')
0 files changed, 0 insertions, 0 deletions