From f4ff97b5ecd4bff4fc98316f08a757568e2f12c8 Mon Sep 17 00:00:00 2001
From: herbelin
Date: Wed, 21 Sep 2005 14:47:19 +0000
Subject: Niveau 99 permettant de parser { } nécessaire aussi dans l'entrée
 pattern

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

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