From 24e5510bfcd33049cbb1a1c709e93346f63bdd91 Mon Sep 17 00:00:00 2001
From: herbelin
Date: Sat, 4 Jun 2005 10:23:46 +0000
Subject: Ajout explicite du niveau 200 de pattern auquel on fait référence au
 niveau 0; nécessaire pour option -nois

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

diff --git a/parsing/g_constrnew.ml4 b/parsing/g_constrnew.ml4
index 5048b6bd86..99c3570f32 100644
--- a/parsing/g_constrnew.ml4
+++ b/parsing/g_constrnew.ml4
@@ -286,7 +286,8 @@ GEXTEND Gram
     [ [ pl = LIST1 pattern SEP ","; "=>"; rhs = lconstr -> (loc,pl,rhs) ] ]
   ;
   pattern:
-    [ "100" LEFTA
+    [ "200" RIGHTA [ ]
+    | "100" LEFTA
       [ p = pattern; "|"; pl = LIST1 pattern SEP "|" -> CPatOr (loc,p::pl) ]
     | "10" LEFTA
       [ p = pattern; lp = LIST1 (pattern LEVEL "0") ->
-- 
cgit v1.2.3