diff options
Diffstat (limited to 'debug/DwarfAbbrvPrinter.ml')
| -rw-r--r-- | debug/DwarfAbbrvPrinter.ml | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/debug/DwarfAbbrvPrinter.ml b/debug/DwarfAbbrvPrinter.ml index 4a3ae5b1..214484b6 100644 --- a/debug/DwarfAbbrvPrinter.ml +++ b/debug/DwarfAbbrvPrinter.ml @@ -57,6 +57,8 @@ module type DWARF_ABBRV_DEFS = module DwarfAbbrvPrinter(Defs:DWARF_ABBRV_DEFS) : sig val print_debug_abbrv: out_channel -> dw_entry -> unit + val get_abbrv: dw_entry -> bool -> int + val get_abbrv_start_addr: unit -> int end = (struct @@ -307,4 +309,6 @@ module DwarfAbbrvPrinter(Defs:DWARF_ABBRV_DEFS) : compute_abbrv entry; print_abbrv oc + let get_abbrv_start_addr = Defs.get_abbrv_start_addr + end) |