diff options
Diffstat (limited to 'debug/Dwarfgen.ml')
-rw-r--r-- | debug/Dwarfgen.ml | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/debug/Dwarfgen.ml b/debug/Dwarfgen.ml index 76e2d638..3c75b3dc 100644 --- a/debug/Dwarfgen.ml +++ b/debug/Dwarfgen.ml @@ -470,9 +470,10 @@ module Dwarfgenaux (Target: TARGET) = let scope = { lexical_block_range = r; } in + let acc = (acc >>= dwr) in let vars,acc = mmap_opt (local_to_entry f_id) acc sc.scope_variables in let entry = new_entry id (DW_TAG_lexical_block scope) in - add_children entry vars,(acc >>= dwr) + add_children entry vars,acc and local_to_entry f_id acc id = match get_local_variable id with |