diff options
author | Michael Schmidt <github@mschmidt.me> | 2015-11-06 13:19:48 +0100 |
---|---|---|
committer | Michael Schmidt <github@mschmidt.me> | 2015-11-06 13:19:48 +0100 |
commit | fa8cd845f95041ab3f25c208b8521d3c89e3e8b1 (patch) | |
tree | 584b3fe451205ba528d8a8c8fa1742e3e2084454 /debug | |
parent | 31fcfe29ebf1ef6eea487e8ce18eb5e11fb60b67 (diff) | |
parent | c1829348282418e42d2c94bb2f761a63d5a06ab4 (diff) | |
download | compcert-fa8cd845f95041ab3f25c208b8521d3c89e3e8b1.tar.gz compcert-fa8cd845f95041ab3f25c208b8521d3c89e3e8b1.zip |
Merge branch 'master' of git+ssh://ssh.absint.com/common/repositories/git/tools/compcert
Diffstat (limited to 'debug')
-rw-r--r-- | debug/Dwarfgen.ml | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/debug/Dwarfgen.ml b/debug/Dwarfgen.ml index 9baf6d70..f62fac26 100644 --- a/debug/Dwarfgen.ml +++ b/debug/Dwarfgen.ml @@ -186,7 +186,7 @@ module Dwarfgenaux (Target: TARGET) = add_children enum children let fun_type_to_entry id f = - let children = if f.fun_prototyped then + let children = if not f.fun_prototyped then let u = { unspecified_parameter_artificial = None; } in @@ -195,7 +195,7 @@ module Dwarfgenaux (Target: TARGET) = List.map (fun p -> let fp = { formal_parameter_artificial = None; - formal_parameter_name = name_opt p.param_name; + formal_parameter_name = None; formal_parameter_type = p.param_type; formal_parameter_variable_parameter = None; formal_parameter_location = None; |