diff options
author | Timotej Lazar <timotej.lazar@fri.uni-lj.si> | 2015-11-04 14:53:45 +0100 |
---|---|---|
committer | Timotej Lazar <timotej.lazar@fri.uni-lj.si> | 2015-11-04 14:53:45 +0100 |
commit | 08519a9884977b5a52bcac85ab24ff04f5988528 (patch) | |
tree | b70edd80335e0cb5b9e3279a4fd28ddfadc3c675 /prolog | |
parent | 1b69c74db2aba839354a5c8000d1ac86b46a7b8c (diff) |
Use correct type for prolog_solve action
Diffstat (limited to 'prolog')
0 files changed, 0 insertions, 0 deletions