diff options
author | Bernhard Schommer <bernhardschommer@gmail.com> | 2015-09-27 20:13:19 +0200 |
---|---|---|
committer | Bernhard Schommer <bernhardschommer@gmail.com> | 2015-09-27 20:13:19 +0200 |
commit | 91ed1b752d2661478840e40a0d977b068d99490d (patch) | |
tree | 5b0259e66fc0d35d335df6c1e36967c384ddf219 /debug/DwarfPrinter.mli | |
parent | 3e070cae6a316b7e3363c8159096c3bbc4bf21b2 (diff) | |
download | compcert-91ed1b752d2661478840e40a0d977b068d99490d.tar.gz compcert-91ed1b752d2661478840e40a0d977b068d99490d.zip |
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.
Diffstat (limited to 'debug/DwarfPrinter.mli')
-rw-r--r-- | debug/DwarfPrinter.mli | 2 |
1 files changed, 1 insertions, 1 deletions
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 |