From: Claudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Date: Wed, 15 Jun 2005 15:41:51 +0000 (+0000)
Subject: Bug fixed: parsing errors were ignored by matitac since the EOI was not
X-Git-Tag: INDEXING_NO_PROOFS~145
X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=commitdiff_plain;h=3a18a6ebcf71b6c195de316f8df6655580d0a122;p=helm.git

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 3b958c2c2..bba6fef7c 100644
--- 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