diff options
| author | Xavier Leroy <xavier.leroy@inria.fr> | 1995-05-04 12:48:07 +0000 |
|---|---|---|
| committer | Xavier Leroy <xavier.leroy@inria.fr> | 1995-05-04 12:48:07 +0000 |
| commit | 623e2fbc005eec3bc79bbd81b8cff39ad5458f32 (patch) | |
| tree | 93fe20d291da158bd38dbfe76c7388ef50088142 /driver/compile.ml | |
| parent | 1953de21ef74e21a814e5ea6323e25aae1ade520 (diff) | |
Ajout de Sys.file_exists
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@4 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
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) |