From edfda2501f08f18e24bd2e3eca763eb1c2dec0ea Mon Sep 17 00:00:00 2001 From: herbelin Date: Wed, 18 Oct 2000 17:51:58 +0000 Subject: Simplifications autour de typed_type (renommé types par analogie avec sorts); documentation MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 8bit git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@727 85f007b7-540e-0410-9357-904b9bb8a0f7 --- proofs/evar_refiner.mli | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'proofs/evar_refiner.mli') diff --git a/proofs/evar_refiner.mli b/proofs/evar_refiner.mli index b1c4a5a2c..ac6bc0630 100644 --- a/proofs/evar_refiner.mli +++ b/proofs/evar_refiner.mli @@ -41,7 +41,7 @@ val w_Underlying : walking_constraints -> enamed_declarations val w_env : walking_constraints -> env val w_hyps : walking_constraints -> named_context val w_type_of : walking_constraints -> constr -> constr -val w_add_sign : (identifier * typed_type) -> walking_constraints +val w_add_sign : (identifier * types) -> walking_constraints -> walking_constraints val w_IDTAC : w_tactic -- cgit v1.2.3