diff options
Diffstat (limited to 'driver/compile.ml')
| -rw-r--r-- | driver/compile.ml | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/driver/compile.ml b/driver/compile.ml index 40a30ad74..bc9201e26 100644 --- a/driver/compile.ml +++ b/driver/compile.ml @@ -24,7 +24,7 @@ open Compenv let interface ppf sourcefile outputprefix = Compmisc.init_path false; let modulename = - String.capitalize(Filename.basename(chop_extension_if_any outputprefix)) in + String.capitalize(Filename.basename(chop_extension_if_any sourcefile)) in check_unit_name ppf sourcefile modulename; Env.set_unit_name modulename; let initial_env = Compmisc.initial_env () in @@ -58,7 +58,7 @@ let (++) x f = f x let implementation ppf sourcefile outputprefix = Compmisc.init_path false; let modulename = - String.capitalize(Filename.basename(chop_extension_if_any outputprefix)) in + String.capitalize(Filename.basename(chop_extension_if_any sourcefile)) in check_unit_name ppf sourcefile modulename; Env.set_unit_name modulename; let env = Compmisc.initial_env() in |