diff options
Diffstat (limited to 'lib/system.ml')
| -rw-r--r-- | lib/system.ml | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/lib/system.ml b/lib/system.ml index 1a67120b6..27e21204c 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 |