diff options
Diffstat (limited to 'debug/DebugInformation.ml')
| -rw-r--r-- | debug/DebugInformation.ml | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/debug/DebugInformation.ml b/debug/DebugInformation.ml index dfde9136..6f159743 100644 --- a/debug/DebugInformation.ml +++ b/debug/DebugInformation.ml @@ -395,6 +395,7 @@ let insert_global_declaration env dec = let fields = List.map (fun f -> { cfd_name = f.fld_name; + cfd_anon = f.fld_anonymous; cfd_typ = insert_type f.fld_typ; cfd_bit_size = f.fld_bitfield; cfd_bit_offset = None; |