From: Adrián Arroyo Calle Date: Mon, 10 Feb 2020 16:51:26 +0000 (+0100) Subject: add n as an option to get the next solution X-Git-Tag: v0.8.118^2^2 X-Git-Url: https://git.sagredo.dev/?a=commitdiff_plain;h=a732bc9dc4976cb15950d642b845f15574232736;p=scryer-prolog.git add n as an option to get the next solution --- diff --git a/src/prolog/machine/system_calls.rs b/src/prolog/machine/system_calls.rs index d88dad91..01f9f7d6 100644 --- a/src/prolog/machine/system_calls.rs +++ b/src/prolog/machine/system_calls.rs @@ -41,7 +41,7 @@ pub fn next_keypress() -> ContinueResult { for c in stdin.keys() { match c.unwrap() { - Key::Char(' ') | Key::Char(';') => return ContinueResult::ContinueQuery, + Key::Char(' ') | Key::Char(';') | Key::Char('n') => return ContinueResult::ContinueQuery, Key::Char('.') => return ContinueResult::Conclude, _ => {} }