From: Mark Thom <markjordanthom@gmail.com>
Date: Sun, 5 Mar 2017 02:28:59 +0000 (-0700)
Subject: fix to README
X-Git-Tag: v0.8.110~761
X-Git-Url: https://git.sagredo.dev/?a=commitdiff_plain;h=02827bc0e2774e881e8595ae4db0a93dc439e7e6;p=scryer-prolog.git

fix to README
---

diff --git a/README.md b/README.md
index ba933921..1d200ff0 100644
--- a/README.md
+++ b/README.md
@@ -62,10 +62,12 @@ above).
 ## Occurs check
 
 There's no occurs check, but there soon will be. Currently, attempting
-unification on a cyclic term causes an infinite loop:
+unification on a cyclic term succeeds, and the attempt to write the
+term to a string results in an infinite loop, ie.
 
 ```
-l2> p(W, W).
-l2> ?- p(f(f(W)), W).
+l3> p(W, W).
+l3> ?- p(f(f(W)), W).
+yes
 *loops to infinity*
 ```
\ No newline at end of file