From 69941d4e195650bf59285b897c14d6287defea0f Mon Sep 17 00:00:00 2001
From: Hugo Herbelin <Hugo.Herbelin@inria.fr>
Date: Wed, 20 May 2015 14:36:41 +0200
Subject: Continuing incomplete 4b5af0d6e9ec1 (on MacOS X, ensuring that files
 found in the file system have the expected lowercase/uppercase spelling)

---
 lib/system.mli | 2 ++
 1 file changed, 2 insertions(+)

(limited to 'lib/system.mli')

diff --git a/lib/system.mli b/lib/system.mli
index a3d66d577..051e92f16 100644
--- a/lib/system.mli
+++ b/lib/system.mli
@@ -29,6 +29,8 @@ val exists_dir : string -> bool
 val find_file_in_path :
   ?warn:bool -> CUnix.load_path -> string -> CUnix.physical_path * string
 
+val file_exists_respecting_case : string -> bool
+
 (** {6 I/O functions } *)
 (** Generic input and output functions, parameterized by a magic number
   and a suffix. The intern functions raise the exception [Bad_magic_number]
-- 
cgit v1.2.3