From 82ecba120acdfd67b166d00611a20f19f19a42c4 Mon Sep 17 00:00:00 2001
From: letouzey
Date: Wed, 11 Jul 2007 23:23:31 +0000
Subject: dead code

git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@9970 85f007b7-540e-0410-9357-904b9bb8a0f7
---
 interp/coqlib.ml | 7 -------
 1 file changed, 7 deletions(-)

diff --git a/interp/coqlib.ml b/interp/coqlib.ml
index 5952d3503d..0cf9c934dd 100644
--- a/interp/coqlib.ml
+++ b/interp/coqlib.ml
@@ -36,13 +36,6 @@ let coq_constant locstr dir s = constr_of_global (coq_reference locstr dir s)
 let gen_reference = coq_reference
 let gen_constant = coq_constant
 
-let list_try_find f = 
-  let rec try_find_f = function
-    | [] -> raise Not_found
-    | h::t -> try f h with Not_found -> try_find_f t
-  in 
-  try_find_f
-
 let has_suffix_in_dirs dirs ref =
   let dir = dirpath (sp_of_global ref) in
   List.exists (fun d -> is_dirpath_prefix_of d dir) dirs
-- 
cgit v1.2.3