From e4c28e18228a6adf7d354059200ced5cee53e8c0 Mon Sep 17 00:00:00 2001 From: Bernhard Schommer Date: Tue, 21 Oct 2014 10:34:06 +0200 Subject: Fixed smaller mistakes. --- debug/DwarfTypes.ml | 15 +++++++-------- 1 file changed, 7 insertions(+), 8 deletions(-) (limited to 'debug/DwarfTypes.ml') diff --git a/debug/DwarfTypes.ml b/debug/DwarfTypes.ml index caa6435c..1cb3f6ee 100644 --- a/debug/DwarfTypes.ml +++ b/debug/DwarfTypes.ml @@ -200,7 +200,7 @@ type dw_tag_subprogram = dw_at_inline: inline option; dw_at_low_pc: address; dw_at_name: string; - dw_at_prototyped: flag + dw_at_prototyped: flag; dw_at_sibling: reference option; dw_at_type: reference; } @@ -233,22 +233,20 @@ type dw_tag_union_type = dw_at_byte_size: constant; dw_at_name: string; dw_at_sibling: reference option; - dw_at_start_scope: constant option; - dw_at_type: reference option; } type dw_tag_unspecified_parameter = { - dw_at_decl_file: constant option; - dw_at_decl_line: constant option; + dw_at_decl_file: constant option; + dw_at_decl_line: constant option; dw_at_artificial: flag option; dw_at_sibling: reference option; } type dw_tag_variable = { - dw_at_decl_file: constant option; - dw_at_decl_line: constant option; + dw_at_decl_file: constant option; + dw_at_decl_line: constant option; dw_at_declaration: flag option; dw_at_external: flag option; dw_at_location: location_value option; @@ -261,5 +259,6 @@ type dw_tag_variable = type dw_tag_volatile_type = { dw_at_sibling: reference option; - dw_at_type: reference option; + dw_at_type: reference; } + -- cgit