diff options
| author | Bernhard Schommer <bernhardschommer@gmail.com> | 2015-07-02 11:17:56 +0200 |
|---|---|---|
| committer | Bernhard Schommer <bernhardschommer@gmail.com> | 2015-07-02 11:17:56 +0200 |
| commit | b946cdfc8e33468a813cd8b2e41aa3442b51f04f (patch) | |
| tree | 899212ef5e544e439b59c9d8ff8ef366fbac568d /debug/DwarfTypes.mli | |
| parent | f3ca5a662a3375c238c0b3f0aa2819bb05bd27f7 (diff) | |
| download | compcert-kvx-b946cdfc8e33468a813cd8b2e41aa3442b51f04f.tar.gz compcert-kvx-b946cdfc8e33468a813cd8b2e41aa3442b51f04f.zip | |
Allow Anonymous structs, unions and enums in debug info.
Diffstat (limited to 'debug/DwarfTypes.mli')
| -rw-r--r-- | debug/DwarfTypes.mli | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/debug/DwarfTypes.mli b/debug/DwarfTypes.mli index c02558b5..e32f6fab 100644 --- a/debug/DwarfTypes.mli +++ b/debug/DwarfTypes.mli @@ -80,7 +80,7 @@ type dw_tag_enumeration_type = enumeration_file_loc: file_loc option; enumeration_byte_size: constant; enumeration_declaration: flag option; - enumeration_name: string; + enumeration_name: string option; } type dw_tag_enumerator = @@ -135,7 +135,7 @@ type dw_tag_structure_type = structure_file_loc: file_loc option; structure_byte_size: constant option; structure_declaration: flag option; - structure_name: string; + structure_name: string option; } type dw_tag_subprogram = @@ -172,7 +172,7 @@ type dw_tag_union_type = union_file_loc: file_loc option; union_byte_size: constant option; union_declaration: flag option; - union_name: string; + union_name: string option; } type dw_tag_unspecified_parameter = |