diff options
Diffstat (limited to 'backend')
-rw-r--r-- | backend/PrintAsm.ml | 8 |
1 files changed, 6 insertions, 2 deletions
diff --git a/backend/PrintAsm.ml b/backend/PrintAsm.ml index 510dbc64..05b55a10 100644 --- a/backend/PrintAsm.ml +++ b/backend/PrintAsm.ml @@ -88,6 +88,8 @@ module Printer(Target:TARGET) = | Gfun (Internal code) -> print_function oc name code | Gfun (External ef) -> () | Gvar v -> print_var oc name v + + module DebugPrinter = DwarfPrinter (Target) end @@ -102,6 +104,8 @@ let print_program oc p db = PrintAnnot.close_filenames (); if !Clflags.option_g && Configuration.advanced_debug then begin - let module DebugPrinter = DwarfPrinter(Target) in - () + match db with + | None -> () + | Some db -> + Printer.DebugPrinter.print_debug oc db end |