From 1694cc318a22b3b523c6ab645f3c51fcdeb1998b Mon Sep 17 00:00:00 2001
From: herbelin
Date: Thu, 18 Nov 2004 14:40:19 +0000
Subject: Code mort

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

diff --git a/proofs/pfedit.ml b/proofs/pfedit.ml
index 671fbd34c7..a5269efb9e 100644
--- a/proofs/pfedit.ml
+++ b/proofs/pfedit.ml
@@ -33,7 +33,6 @@ open Safe_typing
 
 type proof_topstate = {
   mutable top_end_tac : tactic option;
-  top_hyps : named_context * named_context;
   top_goal : goal;
   top_strength : Decl_kinds.goal_kind;
   top_hook : declaration_hook }
@@ -232,7 +231,6 @@ let start_proof na str sign concl hook =
   let top_goal = mk_goal sign concl in
   let ts = { 
     top_end_tac = None;
-    top_hyps = (sign,empty_named_context);
     top_goal = top_goal;
     top_strength = str;
     top_hook = hook}
-- 
cgit v1.2.3