From: Mark Thom <markjordanthom@gmail.com>
Date: Thu, 8 Apr 2021 16:45:09 +0000 (-0600)
Subject: emit correct number of spaces before trailing false
X-Git-Url: https://git.sagredo.dev/?a=commitdiff_plain;h=d6fde679336dc142ec2b757d2cb7a0053114a730;p=scryer-prolog.git

emit correct number of spaces before trailing false
---

diff --git a/src/toplevel.pl b/src/toplevel.pl
index 6d62a155..4cc087a7 100644
--- 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
             )
         )