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 290b92e97736197196daef2783169ab17f9d034a..c72089e9157205e2e1904de73ae35ca89c95b43b 100644 (file)
--- 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)
     ).