diff options
Diffstat (limited to 'driver/compile.ml')
| -rw-r--r-- | driver/compile.ml | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/driver/compile.ml b/driver/compile.ml index 91ff7e9e2..54c7591c5 100644 --- a/driver/compile.ml +++ b/driver/compile.ml @@ -66,7 +66,7 @@ let implementation sourcefile = Typemod.type_structure (initial_env()) (Parse.implementation lb) in if !Clflags.print_types then (Printtyp.signature sg; print_flush()); let (coercion, crc) = - if file_exists (prefixname ^ ".mli") then begin + if Sys.file_exists (prefixname ^ ".mli") then begin let (dclsig, crc) = Env.read_signature modulename (prefixname ^ ".cmi") in (Includemod.signatures Env.initial sg dclsig, crc) |