From 787c1047d6e02fddf8eb06f6fb59186348b73d82 Mon Sep 17 00:00:00 2001
From: herbelin
Date: Tue, 9 Sep 2003 14:20:31 +0000
Subject: Code mort

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

diff --git a/parsing/g_vernac.ml4 b/parsing/g_vernac.ml4
index 193dd40fa6..19af91a803 100644
--- a/parsing/g_vernac.ml4
+++ b/parsing/g_vernac.ml4
@@ -274,10 +274,6 @@ GEXTEND Gram
   fields:
     [ [ fs = LIST0 record_field SEP ";" -> fs ] ]
   ;
-  simple_params:
-    [ [ nal = LIST1 name SEP ","; ":"; c = constr -> LocalRawAssum (nal, c)
-      | nal = LIST1 name SEP "," -> LocalRawAssum (nal, evar_constr loc) ] ]
-  ;
   simple_binders:
     [ [ "["; bll = LIST1 vardecls SEP ";"; "]" -> bll ] ]
   ;
-- 
cgit v1.2.3