From: Mark Thom Date: Wed, 28 Feb 2018 00:21:43 +0000 (-0700) Subject: add ; key. X-Git-Tag: v0.8.110~546 X-Git-Url: https://git.sagredo.dev/?a=commitdiff_plain;h=33834609c3c61e3a3eedf29644e15a0c5a56c14f;p=scryer-prolog.git add ; key. --- diff --git a/src/prolog/io.rs b/src/prolog/io.rs index 71139aea..c81c2004 100644 --- a/src/prolog/io.rs +++ b/src/prolog/io.rs @@ -630,7 +630,7 @@ pub fn print(wam: &mut Machine, result: EvalSession) { for c in stdin.keys() { match c.unwrap() { - Key::Char(' ') => { + Key::Char(' ') | Key::Char(';') => { write!(stdout, " ;\n\r").unwrap(); result = wam.continue_query(&alloc_locs, &mut heap_locs); break;