diff options
Diffstat (limited to 'debug')
| -rw-r--r-- | debug/Dwarfgen.ml | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/debug/Dwarfgen.ml b/debug/Dwarfgen.ml index ee568042..13ed6262 100644 --- a/debug/Dwarfgen.ml +++ b/debug/Dwarfgen.ml @@ -593,7 +593,7 @@ let gnu_string_entry s = let gen_gnu_debug_info sec_name var_section : debug_entries = Hashtbl.clear string_table; let r,dwr,low_pc = - try if !Clflags.option_gdwarf > 3 then + try if !Clflags.option_gdwarf > 2 then let pcs = fold_section_start (fun s low acc -> (low,section_end s)::acc) [] in match pcs with |