summaryrefslogtreecommitdiff
path: root/driver/optcompile.ml
diff options
context:
space:
mode:
authorPierre Chambart <pierre.chambart@ocamlpro.com>2015-12-17 10:51:00 +0000
committerPierre Chambart <pierre.chambart@ocamlpro.com>2015-12-18 13:54:47 +0000
commitfc5acece959726c9dbc772bd7321cfb695af2b77 (patch)
treefa328c3e132304da22877087eab331202d5a1fdf /driver/optcompile.ml
parent78b9b15f87fb966753dd64fb7605fbf7d8f6d5e7 (diff)
downloadocaml-fc5acece959726c9dbc772bd7321cfb695af2b77.tar.gz
Rename type build_kind and sourcefile arguments to source_provenance
Diffstat (limited to 'driver/optcompile.ml')
-rw-r--r--driver/optcompile.ml2
1 files changed, 1 insertions, 1 deletions
diff --git a/driver/optcompile.ml b/driver/optcompile.ml
index 29ee16f754..8173122b38 100644
--- a/driver/optcompile.ml
+++ b/driver/optcompile.ml
@@ -63,7 +63,7 @@ let implementation ppf sourcefile outputprefix =
let modulename = module_of_filename ppf sourcefile outputprefix in
Env.set_unit_name modulename;
let env = Compmisc.initial_env() in
- Compilenv.reset ~sourcefile:(Timings.File sourcefile)
+ Compilenv.reset ~source_provenance:(Timings.File sourcefile)
?packname:!Clflags.for_package modulename;
let cmxfile = outputprefix ^ ".cmx" in
let objfile = outputprefix ^ ext_obj in