From 94aa0b40943fbdb26eddae8821c267ac699f511d Mon Sep 17 00:00:00 2001
From: herbelin
Date: Wed, 24 Mar 2004 15:49:56 +0000
Subject: code mort

git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@5546 85f007b7-540e-0410-9357-904b9bb8a0f7
---
 translate/ppvernacnew.ml | 7 -------
 1 file changed, 7 deletions(-)

diff --git a/translate/ppvernacnew.ml b/translate/ppvernacnew.ml
index 91095b37b2..be37b110f5 100644
--- a/translate/ppvernacnew.ml
+++ b/translate/ppvernacnew.ml
@@ -83,13 +83,6 @@ let pr_gen env t =
 let pr_raw_tactic tac =
   pr_raw_tactic_env [] (Global.env()) tac
 
-let pr_raw_tactic_goal n tac =
-  let (_,env) = Pfedit.get_goal_context n in
-  pr_raw_tactic_env [] env tac
-let pr_lconstr_goal n c =
-  let (_,env) = Pfedit.get_goal_context n in
-  Ppconstrnew.pr_lconstr_env env c
-
 let rec extract_signature = function
   | [] -> []
   | Egrammar.TacNonTerm (_,(_,t),_) :: l -> t :: extract_signature l
-- 
cgit v1.2.3