From: Mark Thom <markjordanthom@gmail.com>
Date: Tue, 15 Aug 2017 20:15:28 +0000 (-0600)
Subject: change ; over to SPACE
X-Git-Tag: v0.8.110~699
X-Git-Url: https://git.sagredo.dev/?a=commitdiff_plain;h=803c66c917f3feb9a982244837f99f646f6a6184;p=scryer-prolog.git

change ; over to SPACE
---

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;