From ecb17841e955ca888010d72876381a86cdcf09ad Mon Sep 17 00:00:00 2001
From: clrenard
Date: Mon, 12 Nov 2001 15:56:10 +0000
Subject: Suppression des stamps et donc des *_constraints

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

(limited to 'proofs/tacmach.ml')

diff --git a/proofs/tacmach.ml b/proofs/tacmach.ml
index f4766963f9..5e4b6b4953 100644
--- a/proofs/tacmach.ml
+++ b/proofs/tacmach.ml
@@ -9,7 +9,6 @@
 (* $Id$ *)
 
 open Util
-open Stamps
 open Names
 open Sign
 open Term
@@ -40,8 +39,7 @@ let repackage = Refiner.repackage
 let apply_sig_tac = Refiner.apply_sig_tac
 
 let sig_it     = Refiner.sig_it
-let sig_sig    = Refiner.sig_sig
-let project    = compose ts_it sig_sig
+let project    = Refiner.sig_sig
 let pf_env gls = Global.env_of_context (sig_it gls).evar_hyps
 let pf_hyps gls = (sig_it gls).evar_hyps
 
-- 
cgit v1.2.3