diff options
author | Michael Schmidt <github@mschmidt.me> | 2015-11-06 13:04:58 +0100 |
---|---|---|
committer | Michael Schmidt <github@mschmidt.me> | 2015-11-06 13:04:58 +0100 |
commit | 31fcfe29ebf1ef6eea487e8ce18eb5e11fb60b67 (patch) | |
tree | b5a2012cf3143c7a2ee1a8da9da98c2e2a7e1cb2 /debug/Dwarfgen.ml | |
parent | e5aeeb137cfd95289ec9388318f65df6f5b08db6 (diff) | |
download | compcert-kvx-31fcfe29ebf1ef6eea487e8ce18eb5e11fb60b67.tar.gz compcert-kvx-31fcfe29ebf1ef6eea487e8ce18eb5e11fb60b67.zip |
bug 17567, typos
Diffstat (limited to 'debug/Dwarfgen.ml')
-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 d198a92f..9baf6d70 100644 --- a/debug/Dwarfgen.ml +++ b/debug/Dwarfgen.ml @@ -182,8 +182,8 @@ module Dwarfgenaux (Target: TARGET) = enumeration_name = string_entry e.enum_name; } in let enum = new_entry id (DW_TAG_enumeration_type enum) in - let child = List.map enumerator_to_entry e.enum_enumerators in - add_children enum child + let children = List.map enumerator_to_entry e.enum_enumerators in + add_children enum children let fun_type_to_entry id f = let children = if f.fun_prototyped then |