Continuing 4b5af0d6e9 and 69941d4e19 about filename case check on MacOS X.

Thanks to Vadim Zaliva for testing.

1 files changed, 2 insertions, 2 deletions

diff --git a/lib/system.ml b/lib/system.ml
index 1a67120b60..27e21204cc 100644
--- a/lib/system.ml
+++ b/lib/system.ml
@@ -60,8 +60,8 @@ let file_exists_respecting_case f =
     let rec aux f =
       let bf = Filename.basename f in
       let df = Filename.dirname f in
-      String.equal df "." || String.equal df "/" ||
-      aux df && Array.exists (String.equal bf) (Sys.readdir df)
+      (String.equal df "." || String.equal df "/" || aux df)
+      && Array.exists (String.equal bf) (Sys.readdir df)
     in aux f
   else Sys.file_exists f