From 890111168d80e6217c73bedda2f1381fa76524be Mon Sep 17 00:00:00 2001
From: Hugo Herbelin
Date: Tue, 21 Oct 2014 11:09:38 +0200
Subject: Dead code.

---
 pretyping/evd.ml | 12 ------------
 1 file changed, 12 deletions(-)

diff --git a/pretyping/evd.ml b/pretyping/evd.ml
index b8886b9b54..a41db3f8f0 100644
--- a/pretyping/evd.ml
+++ b/pretyping/evd.ml
@@ -934,18 +934,6 @@ let loc_of_conv_pb evd (pbty,env,t1,t2) =
 (** The following functions return the set of evars immediately
     contained in the object *)
 
-(* including defined evars, excluding instances *)
-
-let collect_evars c =
-  let rec collrec acc c =
-    match kind_of_term c with
-      | Evar (evk,_) -> Evar.Set.add evk acc
-      | _       -> fold_constr collrec acc c
-  in
-  collrec Evar.Set.empty c
-
-(* including defined evars and instances of evars *)
-
 (* excluding defined evars *)
 
 let evar_list c =
-- 
cgit v1.2.3