From e95b7feee12b869d1e7cff31253b8deec99417b2 Mon Sep 17 00:00:00 2001
From: herbelin
Date: Wed, 8 Dec 2004 17:49:51 +0000
Subject: Correction d'un bug historique de do_restrict_hyps + code mort

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

diff --git a/pretyping/evarutil.mli b/pretyping/evarutil.mli
index d62948b56e..1831110a7f 100644
--- a/pretyping/evarutil.mli
+++ b/pretyping/evarutil.mli
@@ -46,10 +46,6 @@ val new_evar_instance :
  named_context -> evar_defs -> types -> ?src:loc * hole_kind -> constr list ->
  evar_defs * constr
 
-(* Builds the instance in the case where the occurrence context is the
-   same as the evar context *)
-val make_evar_instance : env -> constr list
-
 val w_Declare : env -> evar -> types -> evar_defs -> evar_defs
 
 (***********************************************************)
-- 
cgit v1.2.3