From 3a18a6ebcf71b6c195de316f8df6655580d0a122 Mon Sep 17 00:00:00 2001 From: Claudio Sacerdoti Coen Date: Wed, 15 Jun 2005 15:41:51 +0000 Subject: [PATCH] Bug fixed: parsing errors were ignored by matitac since the EOI was not required to terminate the list of commands! --- helm/ocaml/cic_disambiguation/cicTextualParser2.ml | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) 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 -- 2.39.2