summaryrefslogtreecommitdiff
path: root/driver/main.ml
diff options
context:
space:
mode:
authorArmael <Armael@users.noreply.github.com>2018-07-06 14:43:29 +0200
committerJérémie Dimino <jeremie@dimino.org>2018-07-06 13:43:28 +0100
commit7c9c210884e1b46f21af5bb4dfab995bb3336cf7 (patch)
treeceaefed7582288b1a2f18be9e027fd29f996f96b /driver/main.ml
parent6226005f4d90586a7a45ab36d2b596dd58bf4540 (diff)
downloadocaml-7c9c210884e1b46f21af5bb4dfab995bb3336cf7.tar.gz
Move Location.absname to Clflags.absname (#1886)
Diffstat (limited to 'driver/main.ml')
-rw-r--r--driver/main.ml2
1 files changed, 1 insertions, 1 deletions
diff --git a/driver/main.ml b/driver/main.ml
index 0ff8168432..a9a7e1650a 100644
--- a/driver/main.ml
+++ b/driver/main.ml
@@ -25,7 +25,7 @@ module Options = Main_args.Make_bytecomp_options (struct
let set r () = r := true
let unset r () = r := false
let _a = set make_archive
- let _absname = set Location.absname
+ let _absname = set Clflags.absname
let _annot = set annotations
let _binannot = set binary_annotations
let _c = set compile_only