indent plain false (#676)

2022-04-03 20:22:44 -06:00
parent 3be00045cf
commit 01a9fd9e25
1 changed files with 4 additions and 0 deletions
--- 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.