From 34bec92f9ec6ce2d98bf75f4a216f857c7f317d1 Mon Sep 17 00:00:00 2001
From: Grebant Sandro <sandro.grebant@univ-lille.fr>
Date: Wed, 3 May 2023 13:58:55 +0200
Subject: [PATCH] Correction of README.md

---
 README.md | 3 +--
 1 file changed, 1 insertion(+), 2 deletions(-)

diff --git a/README.md b/README.md
index 27c6f64..a5390e8 100644
--- a/README.md
+++ b/README.md
@@ -125,8 +125,7 @@ The syntax of formulas is as follows:
 - ``b:x`` is the ``(x+1)``th procedure argument
 - ``__top`` is equivalent to ``l:0`` (the root loop scope)
 - ``loops:`` contains information about loops hierarchy, where
-  elements of ``X _c Y`` form state that ``the loop X is in the body
-  of the loop Y``
+  elements of ``X _c Y`` form state that ``the loop X contains the loop Y``
 - ``endl`` indicates the end of the formula
 
 The instantiator C codes and binaries are generated in
-- 
GitLab