indent plain false (#676)

diff --git a/src/toplevel.pl b/src/toplevel.pl
index e9f45e0e7ac74d8466c3b3258e2dc58e8241ccc2..a86998249212d4ea96bb307d7d2a62f30c10e4e4 100644 (file)
--- 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.