diff options
Diffstat (limited to 'debug/DebugInit.ml')
| -rw-r--r-- | debug/DebugInit.ml | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/debug/DebugInit.ml b/debug/DebugInit.ml index 7ee56ff1..1ab529df 100644 --- a/debug/DebugInit.ml +++ b/debug/DebugInit.ml @@ -27,7 +27,7 @@ let init_debug () = implem.set_bitfield_offset <- DebugInformation.set_bitfield_offset; implem.insert_global_declaration <- DebugInformation.insert_global_declaration; implem.add_fun_addr <- DebugInformation.add_fun_addr; - implem.generate_debug_info <- + implem.generate_debug_info <- if Configuration.system = "diab" then (fun a b -> Some (Dwarfgen.gen_diab_debug_info a b)) else |