correct grammar

diff --git a/README.md b/README.md
index b10d58b92fbf02ff298c8ff7b2a2fa7978061154..456e66bfdec551c081a5130fdf929aabc6122097 100644 (file)
--- a/README.md
+++ b/README.md
@@ -529,7 +529,7 @@ is unified with a term that contains that variable as a proper
 subterm. For efficiency, the *occurs check* is omitted by default
 in Scryer Prolog and many other Prolog systems.
 
-In Scryer Prolog, performing unifications which succeed only if the
+In Scryer Prolog, unifications which succeed only if the
 *occurs check* is omitted yield *cyclic terms*, also called
 *rational trees*. For example: