From: Markus Triska <triska@metalevel.at>
Date: Fri, 28 Jan 2022 17:47:55 +0000 (+0100)
Subject: ENHANCED: Make toplevel output a Prolog term that can be read back also for "...".
X-Git-Tag: v0.9.0^2~38^2
X-Git-Url: https://git.sagredo.dev/?a=commitdiff_plain;h=2e57789d107af4882dd1d3f828a9066390fe3ff6;p=scryer-prolog.git

ENHANCED: Make toplevel output a Prolog term that can be read back also for "...".

This addresses #1240.
---

diff --git a/src/toplevel.pl b/src/toplevel.pl
index 290b92e9..c72089e9 100644
--- a/src/toplevel.pl
+++ b/src/toplevel.pl
@@ -330,7 +330,7 @@ read_input(ThreadedGoals, NewVarList) :-
        help_message,
        read_input(ThreadedGoals, NewVarList)
     ;  member(C, ['\n', .]) ->
-       nl, write(';  ...'), nl
+       nl, write(';  ... .'), nl
     ;  read_input(ThreadedGoals, NewVarList)
     ).