From: Mark Thom <markjordanthom@gmail.com>
Date: Mon, 4 Apr 2022 02:22:44 +0000 (-0600)
Subject: indent plain false (#676)
X-Git-Tag: v0.9.1~79
X-Git-Url: https://git.sagredo.dev/?a=commitdiff_plain;h=01a9fd9e254405832273c1e600fec74baa4f38a5;p=scryer-prolog.git

indent plain false (#676)
---

diff --git a/src/toplevel.pl b/src/toplevel.pl
index e9f45e0e..a8699824 100644
--- a/src/toplevel.pl
+++ b/src/toplevel.pl
@@ -184,6 +184,10 @@ submit_query_and_print_results_(Term, VarList) :-
     write_eqs_and_read_input(B, VarList),
     !.
 submit_query_and_print_results_(_, _) :-
+    (   bb_get('$first_answer', true) ->
+        write('   ')
+    ;   true
+    ),
     write('false.'),
     nl.