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