From 756438dc5432567bfe03167af65f34ae275dbb3a Mon Sep 17 00:00:00 2001
From: herbelin
Date: Sun, 10 Feb 2008 18:05:45 +0000
Subject: suppression code mort oublié lors du commit 10495

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

diff --git a/parsing/g_ltac.ml4 b/parsing/g_ltac.ml4
index 87d45dc56e..c0fd07c175 100644
--- a/parsing/g_ltac.ml4
+++ b/parsing/g_ltac.ml4
@@ -165,10 +165,6 @@ GEXTEND Gram
       | id = identref; args = LIST1 input_fun; ":="; te = tactic_expr ->
          (id, arg_of_expr (TacFun(args,te))) ] ]
   ;
-  rec_clause:
-    [ [ name = identref; it = LIST0 input_fun; ":="; body = tactic_expr ->
-          (name,(it,body)) ] ]
-  ;
   match_pattern:
     [ [ IDENT "context";  oid = OPT Constr.ident;
           "["; pc = Constr.lconstr_pattern; "]" ->
-- 
cgit v1.2.3