From: Mark Thom <markjordanthom@gmail.com>
Date: Sun, 3 Dec 2017 21:23:00 +0000 (-0700)
Subject: tweak README
X-Git-Tag: v0.8.110~661
X-Git-Url: https://git.sagredo.dev/?a=commitdiff_plain;h=775fe42781898b14e71c2fb42b3041cac6897501;p=scryer-prolog.git

tweak README
---

diff --git a/README.md b/README.md
index 02d57aee..c30fdd4c 100644
--- a/README.md
+++ b/README.md
@@ -48,7 +48,7 @@ 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`.
+      `(xor)/2`, `(rem)/2`, `(mod)/2`, `(/\)/2`, `(\/)/2`, `(>>)/2`, `(<<)/2`.
 * `atomic/1`
 * `call/N` (1 <= N <= 63)
 * `catch/3`