From 3afaf3dde673d77cacaabc354f008dfbe49a7cee Mon Sep 17 00:00:00 2001
From: herbelin
Date: Mon, 24 Jul 2000 13:39:23 +0000
Subject: Passage à des contextes de vars et de rels pouvant contenir des
 déclarations

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

(limited to 'pretyping/evarutil.mli')

diff --git a/pretyping/evarutil.mli b/pretyping/evarutil.mli
index f648e4a830..dbebeac984 100644
--- a/pretyping/evarutil.mli
+++ b/pretyping/evarutil.mli
@@ -17,10 +17,6 @@ open Reduction
 val filter_unique : 'a list -> 'a list
 val distinct_id_list : identifier list -> identifier list
 
-val filter_sign :
-  ('a -> identifier * typed_type -> bool * 'a) -> var_context -> 'a ->
-  'a * identifier list * var_context
-
 val dummy_sort : constr
 val do_restrict_hyps : 'a evar_map -> constr -> 'a evar_map * constr
 val has_ise : 'a evar_map -> constr -> bool
-- 
cgit v1.2.3