diff options
Diffstat (limited to 'asmcomp/debug/compute_ranges.ml')
| -rw-r--r-- | asmcomp/debug/compute_ranges.ml | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/asmcomp/debug/compute_ranges.ml b/asmcomp/debug/compute_ranges.ml index 3ace8c2437..7d40194d44 100644 --- a/asmcomp/debug/compute_ranges.ml +++ b/asmcomp/debug/compute_ranges.ml @@ -16,7 +16,7 @@ open! Int_replace_polymorphic_compare -module L = Linearize +module L = Linear module Make (S : Compute_ranges_intf.S_functor) = struct module Subrange_state = S.Subrange_state @@ -39,7 +39,7 @@ module Make (S : Compute_ranges_intf.S_functor) = struct subrange_info : Subrange_info.t; } - let create ~(start_insn : Linearize.instruction) + let create ~(start_insn : L.instruction) ~start_pos ~start_pos_offset ~end_pos ~end_pos_offset ~subrange_info = |