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

correct README
---

diff --git a/README.md b/README.md
index 8ea011bb..18ac0cc4 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