diff options
Diffstat (limited to 'debug/DebugTypes.mli')
-rw-r--r-- | debug/DebugTypes.mli | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/debug/DebugTypes.mli b/debug/DebugTypes.mli index c3df6066..b3002f4c 100644 --- a/debug/DebugTypes.mli +++ b/debug/DebugTypes.mli @@ -19,13 +19,13 @@ open Camlcoq type composite_field = { cfd_name: string; + cfd_atom: atom option; cfd_anon: bool; cfd_typ: int; cfd_bit_size: int option; cfd_bit_offset: int option; cfd_byte_offset: int option; cfd_byte_size: int option; - cfd_bitfield: string option; } type composite_type = |