diff options
author | Timotej Lazar <timotej.lazar@fri.uni-lj.si> | 2016-02-25 17:21:10 +0100 |
---|---|---|
committer | Timotej Lazar <timotej.lazar@fri.uni-lj.si> | 2016-02-25 17:21:10 +0100 |
commit | 705be7b3ad45212629d6c60476afd3e2a405e52b (patch) | |
tree | 5a1f2a0b06728c257da7aa30051efec98be50aee /prolog | |
parent | b0033953c1f7677a30471692d93d2e669b0aeecc (diff) |
Destroy the pengine before creating a new one
Diffstat (limited to 'prolog')
0 files changed, 0 insertions, 0 deletions