From 91ed1b752d2661478840e40a0d977b068d99490d Mon Sep 17 00:00:00 2001 From: Bernhard Schommer Date: Sun, 27 Sep 2015 20:13:19 +0200 Subject: Added printing the reference address for the LocRef and started refactoring old Debuging code. The old functions to store the symbol for the Global variables and retrive this is no longer needed since the atom is stored in DebugInformation. Also the Debug.Abbrev module is no longer needed. --- debug/DwarfPrinter.mli | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'debug/DwarfPrinter.mli') diff --git a/debug/DwarfPrinter.mli b/debug/DwarfPrinter.mli index ab9ab264..8b206a00 100644 --- a/debug/DwarfPrinter.mli +++ b/debug/DwarfPrinter.mli @@ -12,7 +12,7 @@ open DwarfTypes -module DwarfPrinter: functor (Target: DWARF_TARGET) -> functor (DwarfAbbrevs: DWARF_ABBREVS) -> +module DwarfPrinter: functor (Target: DWARF_TARGET) -> sig val print_debug: out_channel -> dw_entry -> dw_locations -> unit end -- cgit