fix to README

2017-03-04 19:28:59 -07:00
parent 42ce902b3c
commit 02827bc0e2
1 changed files with 5 additions and 3 deletions
--- 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*
 ```