From 62bc7aeb8a737830b631158a4d181445fe97b26f Mon Sep 17 00:00:00 2001
From: barras
Date: Tue, 18 Dec 2001 11:15:16 +0000
Subject: parsing des branches de Cases au niveau lconstr (au lieu de constr)

git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@2306 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 3ce0e7b4a8..5fb374d68a 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 = constr ->
+    [ [ lhs = ne_pattern_list; "=>"; rhs = lconstr ->
 	      <:ast< (EQN $rhs ($LIST $lhs)) >> ] ]
   ;
   ne_eqn_list:
-- 
cgit v1.2.3