From: Mark Thom <markjordanthom@gmail.com>
Date: Thu, 7 Sep 2017 00:12:35 +0000 (-0600)
Subject: correct README
X-Git-Tag: v0.8.110~691
X-Git-Url: https://git.sagredo.dev/?a=commitdiff_plain;h=e179f381a8ab316299946772181891bb3c53cd85;p=scryer-prolog.git

correct README
---

diff --git a/README.md b/README.md
index dab78e7e..b5b4bee3 100644
--- a/README.md
+++ b/README.md
@@ -51,7 +51,8 @@ The following predicates are built-in to rusty-wam.
 * catch/3
 * duplicate_term/2
 * false/0
-* (\+)/1
+* (\\+)/1
+* (=)/2
 * throw/1
 * var/1