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