Bug fixed: parsing errors were ignored by matitac since the EOI was not

required to terminate the list of commands!

diff --git a/helm/ocaml/cic_disambiguation/cicTextualParser2.ml b/helm/ocaml/cic_disambiguation/cicTextualParser2.ml
index 3b958c2c24ff1756e9ab3296380dc7d78f070b97..bba6fef7c8d68bf936f20626d04a293ede7e12ee 100644 (file)
--- a/helm/ocaml/cic_disambiguation/cicTextualParser2.ml
+++ b/helm/ocaml/cic_disambiguation/cicTextualParser2.ml
@@ -616,7 +616,7 @@ EXTEND
     ]
   ];
   statements: [
-    [ l = LIST0 [ statement ] -> l 
+    [ l = LIST0 statement ; EOI -> l 
     ]  
   ];
 END