emit correct number of spaces before trailing false

diff --git a/src/toplevel.pl b/src/toplevel.pl
index 6d62a15580843079c61ad96ce9daf660a8ee5ea7..4cc087a79e01296cc367e2e204bc7eb124c7130d 100644 (file)
--- a/src/toplevel.pl
+++ b/src/toplevel.pl
@@ -213,7 +213,11 @@ execute_query(Goal, Eqs0, AllInitVs) :-
             )
         ),
         (   (   NoError \== false, Succeed \== true ->
-                format("   false.\n", [])
+                (   bb_get('$first_answer', true) ->
+                    write('   ')
+                ;   true
+                ),
+                format("false.\n", [])
             ;   Last = true
             )
         )