From 1a39eca177bfa266f5a10362e188d812c81e5e5e Mon Sep 17 00:00:00 2001
From: herbelin
Date: Wed, 19 Dec 2001 12:24:54 +0000
Subject: Modif précédente trop violente (cf test-suite/success/CasesDep.v)

git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@2341 85f007b7-540e-0410-9357-904b9bb8a0f7
---
 parsing/g_cases.ml4 | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/parsing/g_cases.ml4 b/parsing/g_cases.ml4
index 5fb374d68a..48638a4fef 100644
--- a/parsing/g_cases.ml4
+++ b/parsing/g_cases.ml4
@@ -34,7 +34,7 @@ GEXTEND Gram
       | c1 = pattern -> [c1] ] ]
   ;
   equation:
-    [ [ lhs = ne_pattern_list; "=>"; rhs = lconstr ->
+    [ [ lhs = ne_pattern_list; "=>"; rhs = constr9 ->
 	      <:ast< (EQN $rhs ($LIST $lhs)) >> ] ]
   ;
   ne_eqn_list:
-- 
cgit v1.2.3