aboutsummaryrefslogtreecommitdiff
diff options
context:
space:
mode:
-rw-r--r--src/boot/me/dwarf.ml8
1 files changed, 1 insertions, 7 deletions
diff --git a/src/boot/me/dwarf.ml b/src/boot/me/dwarf.ml
index 0ec7af78..1ff6c8ad 100644
--- a/src/boot/me/dwarf.ml
+++ b/src/boot/me/dwarf.ml
@@ -2176,14 +2176,8 @@ let dwarf_visitor
in
let addr_ranges (fix:fixup) : frag =
- let image_is_relocated =
- match cx.ctxt_sess.Session.sess_targ with
- Win32_x86_pe ->
- cx.ctxt_sess.Session.sess_library_mode
- | _ -> true
- in
let lo =
- if image_is_relocated
+ if cx.ctxt_sess.Session.sess_library_mode
then image_base_rel fix
else M_POS fix
in