Fix parsing ↔

hferee · Sep 12, 2024 · 8568326 · 8568326
1 parent 9d3758e
commit 8568326
Showing 1 changed file with 2 additions and 1 deletion.
diff --git 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