diff options
Diffstat (limited to 'powerpc/PrintDiab.ml')
-rw-r--r-- | powerpc/PrintDiab.ml | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/powerpc/PrintDiab.ml b/powerpc/PrintDiab.ml index b9d02fcf..d8083168 100644 --- a/powerpc/PrintDiab.ml +++ b/powerpc/PrintDiab.ml @@ -175,6 +175,9 @@ module Diab_System = let info_section_end oc = fprintf oc "%a\n" label !debug_end_addr + let print_entry oc entry abbrv = + () + end:DWARF_DEFS) end:SYSTEM) |