summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
-rw-r--r--prolog/engine.py2
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__':