diff options
| author | letouzey | 2007-07-11 23:23:31 +0000 |
|---|---|---|
| committer | letouzey | 2007-07-11 23:23:31 +0000 |
| commit | 82ecba120acdfd67b166d00611a20f19f19a42c4 (patch) | |
| tree | d4ae090b53dd758eed76b6f055e49775e180a1c3 /interp | |
| parent | 5f2b3fd5c17c29ffc734eef05bdb22b44d015edf (diff) | |
dead code
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@9970 85f007b7-540e-0410-9357-904b9bb8a0f7
Diffstat (limited to 'interp')
| -rw-r--r-- | interp/coqlib.ml | 7 |
1 files changed, 0 insertions, 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 |