From 803c66c917f3feb9a982244837f99f646f6a6184 Mon Sep 17 00:00:00 2001 From: Mark Thom Date: Tue, 15 Aug 2017 14:15:28 -0600 Subject: [PATCH] change ; over to SPACE --- README.md | 4 ++-- src/prolog/io.rs | 2 +- 2 files changed, 3 insertions(+), 3 deletions(-) diff --git a/README.md b/README.md index 924366db..1d8708c4 100644 --- a/README.md +++ b/README.md @@ -93,8 +93,8 @@ X = _0 Z = _2 ``` -Pressing ; will backtrack through other possible answers, if any exist. -Pressing . will abort the search and return to the prompt. +Pressing `SPACE` will backtrack through other possible answers, if any exist. +Pressing `.` will abort the search and return to the prompt. Wildcards work as well: diff --git a/src/prolog/io.rs b/src/prolog/io.rs index f26453e7..89a4b495 100644 --- a/src/prolog/io.rs +++ b/src/prolog/io.rs @@ -433,7 +433,7 @@ pub fn print(wam: &mut Machine, result: EvalSession) { for c in stdin.keys() { match c.unwrap() { - Key::Char(';') => { + Key::Char(' ') => { write!(stdout, " ;\n\r").unwrap(); result = wam.continue_query(&alloc_locs, &mut heap_locs); break; -- 2.54.0