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) ).