From: notoria Date: Sat, 18 Apr 2020 14:57:45 +0000 (+0200) Subject: Added Space for continuation X-Git-Tag: v0.8.123~132^2^2~2 X-Git-Url: https://git.sagredo.dev/?a=commitdiff_plain;h=988366e37f06f599e36f2cc3193e80ebdc088182;p=scryer-prolog.git Added Space for continuation --- diff --git a/src/prolog/toplevel.pl b/src/prolog/toplevel.pl index dc58c386..f2adba33 100644 --- a/src/prolog/toplevel.pl +++ b/src/prolog/toplevel.pl @@ -158,6 +158,8 @@ '$read_input'(ThreadedGoals, NewVarList) ; C == (';') -> nl, write('; '), false + ; C == (' ') -> + nl, write('; '), false ; C == h -> '$help_message', '$read_input'(ThreadedGoals, NewVarList)