From: Mark Thom <markjordanthom@gmail.com>
Date: Fri, 22 Dec 2017 19:43:06 +0000 (-0700)
Subject: update README
X-Git-Tag: v0.8.110~648^2~1
X-Git-Url: https://git.sagredo.dev/?a=commitdiff_plain;h=8e38d39058989e3d057c448bbfdad958c64372f7;p=scryer-prolog.git

update README
---

diff --git a/README.md b/README.md
index 61f83da8..259ef062 100644
--- a/README.md
+++ b/README.md
@@ -73,7 +73,7 @@ strings.
 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`,
+    * `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: `>`, `<`, `=<`, `>=`, `=:=`, `=\=`.
 * `atomic/1`