From 8568326e763dc4a6ed7fb50f880e38b9f17b71b8 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Hugo=20F=C3=A9r=C3=A9e?= <feree@irif.fr>
Date: Thu, 12 Sep 2024 21:00:12 +0200
Subject: [PATCH] =?UTF-8?q?Fix=20parsing=20=E2=86=94?=
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8
Content-Transfer-Encoding: 8bit

---
 bin/modal_expressions_parser.ml | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

diff --git a/bin/modal_expressions_parser.ml b/bin/modal_expressions_parser.ml
index 3b6d9ea..9ea1c66 100644
--- a/bin/modal_expressions_parser.ml
+++ b/bin/modal_expressions_parser.ml
@@ -66,7 +66,8 @@ let expr : form t =
     let modality = chainmod factor modal  in
     let term   = chainl1 modality conj in
     let disjunctions = spaces *> chainl1 term disj <* spaces in
-    spaces *> chainr1 disjunctions impl <* spaces
+    let implications = spaces *> chainr1 disjunctions impl <* spaces in
+      spaces *> chainr1 implications iff <* spaces
     )
 
 exception ParseError