diff --git a/src/prolog/toplevel.pl b/src/prolog/toplevel.pl index 9538c5ac..31da9b5b 100644 --- a/src/prolog/toplevel.pl +++ b/src/prolog/toplevel.pl @@ -157,7 +157,7 @@ write(' '), '$write_eq'(ThreadedGoals, NewVarList, 20), '$read_input'(ThreadedGoals, NewVarList) - ; member(C, [';', ' ']) -> + ; member(C, [';', ' ', n]) -> nl, write('; '), false ; C = h -> '$help_message',