summaryrefslogtreecommitdiffstats
path: root/ocamlbuild/my_unix.ml
diff options
context:
space:
mode:
Diffstat (limited to 'ocamlbuild/my_unix.ml')
-rw-r--r--ocamlbuild/my_unix.ml2
1 files changed, 1 insertions, 1 deletions
diff --git a/ocamlbuild/my_unix.ml b/ocamlbuild/my_unix.ml
index 0c8d4e9c6..b914bbb94 100644
--- a/ocamlbuild/my_unix.ml
+++ b/ocamlbuild/my_unix.ml
@@ -51,7 +51,7 @@ let is_degraded = true
let stat f =
{ stat_key = f;
stat_file_kind =
- if Sys.file_exists f then
+ if sys_file_exists f then
if Sys.is_directory f then
FK_dir
else