From 116ec0eb91ce05d21433c1127636f2abf4ec55c4 Mon Sep 17 00:00:00 2001
From: Hugo Herbelin
Date: Wed, 22 Oct 2014 17:38:38 +0200
Subject: Removing an unused variant of Context.fold_named_context_reverse.

---
 pretyping/termops.mli | 3 ---
 1 file changed, 3 deletions(-)

diff --git a/pretyping/termops.mli b/pretyping/termops.mli
index 1e3d2e4e9f..826104f59b 100644
--- a/pretyping/termops.mli
+++ b/pretyping/termops.mli
@@ -62,9 +62,6 @@ val it_mkNamedLambda_or_LetIn : constr -> named_context -> constr
    the context where the letins are expanded *)
 val it_mkLambda_or_LetIn_from_no_LetIn : constr -> rel_context -> constr
 
-val it_named_context_quantifier :
-  (named_declaration -> 'a -> 'a) -> init:'a -> named_context -> 'a
-
 (** {6 Generic iterators on constr} *)
 
 val map_constr_with_named_binders :
-- 
cgit v1.2.3