From 5268efdefb396267bfda0c17eb045fa2ed516b3c Mon Sep 17 00:00:00 2001
From: Hugo Herbelin
Date: Sat, 31 Jan 2015 09:09:28 +0100
Subject: Using same code for browsing physical directories in coqtop and
 coqdep. In particular: - abstracting the code using calls to Unix opendir,
 stat, and closedir, - uniformly using warnings when a directory does not
 exist (coqtop was   ignoring silently and coqdep was exiting via
 handle_unix_error).

---
 lib/system.mli | 4 ----
 1 file changed, 4 deletions(-)

(limited to 'lib/system.mli')

diff --git a/lib/system.mli b/lib/system.mli
index a3d66d577a..32a84f5996 100644
--- a/lib/system.mli
+++ b/lib/system.mli
@@ -14,8 +14,6 @@
     given by the user. For efficiency, we keep the full path (field
     [directory]), the root path and the path relative to the root. *)
 
-val exclude_search_in_dirname : string -> unit
-
 val all_subdirs : unix_path:string -> (CUnix.physical_path * string list) list
 val is_in_path : CUnix.load_path -> string -> bool
 val is_in_system_path : string -> bool
@@ -24,8 +22,6 @@ val where_in_path :
 val where_in_path_rex :
   CUnix.load_path -> Str.regexp -> (CUnix.physical_path * string) list
 
-val exists_dir : string -> bool
-
 val find_file_in_path :
   ?warn:bool -> CUnix.load_path -> string -> CUnix.physical_path * string
 
-- 
cgit v1.2.3