From: Mark Thom <markjordanthom@gmail.com>
Date: Mon, 4 Dec 2017 17:18:29 +0000 (-0700)
Subject: update README, toplevel parsing for comparison operators.
X-Git-Tag: v0.8.110~658
X-Git-Url: https://git.sagredo.dev/?a=commitdiff_plain;h=8e5aaf02a41e163453b721742bc707eaf45d189b;p=scryer-prolog.git

update README, toplevel parsing for comparison operators.
---

diff --git a/README.md b/README.md
index 4cdaeba8..1e0ff29e 100644
--- a/README.md
+++ b/README.md
@@ -49,13 +49,13 @@ The following predicates are built-in to rusty-wam.
 * Arithmetic support:
     * is/2 works for `(+)/2`, `(-)/{1,2}`, `(*)/2`, `(//)/2`, `(div)/2`, `(/)/2`, `(rdiv)/2`,
       `(xor)/2`, `(rem)/2`, `(mod)/2`, `(/\)/2`, `(\/)/2`, `(>>)/2`, `(<<)/2`.
-    * Comparison operators: `>`, `<`, `=<`, `>=`, `=:=`, `=\\=`.
+    * Comparison operators: `>`, `<`, `=<`, `>=`, `=:=`, `=\=`.
 * `atomic/1`
 * `call/N` (1 <= N <= 63)
 * `catch/3`
 * `duplicate_term/2`
 * `false/0`
-* `(\\+)/1`
+* `(\+)/1`
 * `(=)/2`
 * `throw/1`
 * `true/0`
diff --git a/src/prolog/parser b/src/prolog/parser
index ae1e2b15..c1058528 160000
--- a/src/prolog/parser
+++ b/src/prolog/parser
@@ -1 +1 @@
-Subproject commit ae1e2b153e9f63a966837bddb5a297f75f09ecfb
+Subproject commit c1058528434bb05237a034449adcfeb56e4b6214