From 3da6bce8b6cd925dbc12118064cb214c3cb39ef9 Mon Sep 17 00:00:00 2001
From: herbelin
Date: Fri, 15 Nov 2002 09:49:21 +0000
Subject: Bug factorisation grammaire

git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@3242 85f007b7-540e-0410-9357-904b9bb8a0f7
---
 parsing/g_cases.ml4 | 6 +++---
 1 file changed, 3 insertions(+), 3 deletions(-)

diff --git a/parsing/g_cases.ml4 b/parsing/g_cases.ml4
index 67b6165da1..1b8be4f4ff 100644
--- a/parsing/g_cases.ml4
+++ b/parsing/g_cases.ml4
@@ -57,12 +57,12 @@ GEXTEND Gram
     [ [ "<"; p = lconstr; ">"; "Cases"; lc = LIST1 constr; "of";
         OPT "|"; eqs = ne_eqn_list; "end" ->
 	  CCases (loc, Some p, lc, eqs)
-      | "Cases"; lc = ne_constr_list; "of";
+      | "Cases"; lc = LIST1 constr; "of";
 	OPT "|"; eqs = ne_eqn_list; "end" ->
 	  CCases (loc, None, lc, eqs)
-      | "<"; p = lconstr; ">"; "Cases"; lc = ne_constr_list; "of"; "end" ->
+      | "<"; p = lconstr; ">"; "Cases"; lc = LIST1 constr; "of"; "end" ->
 	  CCases (loc, Some p, lc, [])
-      | "Cases"; lc = ne_constr_list; "of"; "end" -> 
+      | "Cases"; lc = LIST1 constr; "of"; "end" -> 
 	  CCases (loc, None, lc, []) ] ]
   ;
 END;
-- 
cgit v1.2.3