diff options
| author | Bernhard Schommer <bernhardschommer@gmail.com> | 2014-11-17 13:33:17 +0100 |
|---|---|---|
| committer | Bernhard Schommer <bernhardschommer@gmail.com> | 2014-11-17 13:33:17 +0100 |
| commit | 19e69e76b4608ab86819deb301409824400425a1 (patch) | |
| tree | 73f8f90c0ea27d3fba68bfc89a42b93f6fe0363e /powerpc | |
| parent | 5725e8d4ffcc9bde14b0c46fcaba83a9d84c7ddb (diff) | |
| download | compcert-kvx-19e69e76b4608ab86819deb301409824400425a1.tar.gz compcert-kvx-19e69e76b4608ab86819deb301409824400425a1.zip | |
Removed compile error and added dummy function for the printing of entries.
Diffstat (limited to 'powerpc')
| -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) |