From e3d08b29c2879abffd16a4f1e9be9fa8bac7a050 Mon Sep 17 00:00:00 2001
From: herbelin
Date: Mon, 21 Oct 2002 10:29:28 +0000
Subject: Prise en compte des délimiteurs dans les motifs de Cases

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

diff --git a/parsing/g_basevernac.ml4 b/parsing/g_basevernac.ml4
index 4b5c98ba7b..be3d3fe264 100644
--- a/parsing/g_basevernac.ml4
+++ b/parsing/g_basevernac.ml4
@@ -358,6 +358,7 @@ GEXTEND Gram
     [[ IDENT "ast"; IDENT "list" -> AstListParser
      | IDENT "ast" -> AstParser
      | IDENT "constr" -> ConstrParser
+     | IDENT "cases_pattern" -> CasesPatternParser
      | IDENT "tactic" -> TacticParser
      | IDENT "vernac" -> VernacParser ]]
   ;
-- 
cgit v1.2.3