diff options
| author | Timotej Lazar <timotej.lazar@araneo.org> | 2015-05-13 15:30:22 +0200 |
|---|---|---|
| committer | Aleš Smodiš <aless@guru.si> | 2015-08-11 14:26:03 +0200 |
| commit | 90dadf3c0c750444bc8fe652bc54fda20c43c94b (patch) | |
| tree | c14a1ecb8ee5b867b66ac2db5bb65dc65b34bf11 /prolog/engine.py | |
| parent | 3d9f6f564008b930afff9ba6b32d08bc267ebb3b (diff) | |
Print 'true' on success with no bindings
Diffstat (limited to 'prolog/engine.py')
| -rw-r--r-- | prolog/engine.py | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/prolog/engine.py b/prolog/engine.py index b3cd805..c0fd58c 100644 --- a/prolog/engine.py +++ b/prolog/engine.py @@ -115,7 +115,7 @@ def pretty_vars(data): result.append(' = '.join(var_list) + ' = ' + strip_html(value)) if 'residuals' in data: result += [strip_html(b) for b in data['residuals']] - return ',\n'.join(result) + return ',\n'.join(result) if result else 'true' # Basic sanity check. if __name__ == '__main__': |