From 01a9fd9e254405832273c1e600fec74baa4f38a5 Mon Sep 17 00:00:00 2001
From: Mark Thom <markjordanthom@gmail.com>
Date: Sun, 3 Apr 2022 20:22:44 -0600
Subject: [PATCH] indent plain false (#676)

---
 src/toplevel.pl | 4 ++++
 1 file changed, 4 insertions(+)

diff --git a/src/toplevel.pl b/src/toplevel.pl
index e9f45e0e..a8699824 100644
--- 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.
 
-- 
2.54.0