From d6fde679336dc142ec2b757d2cb7a0053114a730 Mon Sep 17 00:00:00 2001 From: Mark Thom Date: Thu, 8 Apr 2021 10:45:09 -0600 Subject: [PATCH] emit correct number of spaces before trailing false --- src/toplevel.pl | 6 +++++- 1 file changed, 5 insertions(+), 1 deletion(-) 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 ) ) -- 2.54.0