From: Markus Triska <triska@metalevel.at>
Date: Wed, 30 Apr 2025 17:53:33 +0000 (+0200)
Subject: correct grammar
X-Git-Tag: v0.10.0~50^2
X-Git-Url: https://git.sagredo.dev/?a=commitdiff_plain;h=ec28872a9a273e377d76857a8050fc60573110fa;p=scryer-prolog.git

correct grammar
---

diff --git a/README.md b/README.md
index b10d58b9..456e66bf 100644
--- 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&nbsp;check* is omitted by default
 in Scryer&nbsp;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&nbsp;check* is omitted yield *cyclic&nbsp;terms*, also called
 *rational&nbsp;trees*. For example: