From 9098a5bf9f73b6363753861fcf7ed8609671da06 Mon Sep 17 00:00:00 2001
From: herbelin
Date: Fri, 14 Nov 2003 14:38:36 +0000
Subject: Compatibilite %T

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

diff --git a/parsing/g_constr.ml4 b/parsing/g_constr.ml4
index e0a3f5cee7..4e0d1118f3 100644
--- a/parsing/g_constr.ml4
+++ b/parsing/g_constr.ml4
@@ -243,6 +243,7 @@ GEXTEND Gram
 	  (* Delimiter "N" implicitly moved to "nat" in V7 *)
 	  let key = if key = "N" then "nat" else key in
 	  let key = if key = "P" then "positive" else key in
+	  let key = if key = "T" then "type" else key in
 	  CDelimiters (loc,key,c) ] ]
   ;
   constr91:
-- 
cgit v1.2.3