diff options
Diffstat (limited to 'debug/DebugTypes.mli')
-rw-r--r-- | debug/DebugTypes.mli | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/debug/DebugTypes.mli b/debug/DebugTypes.mli index 25c7390f..c3df6066 100644 --- a/debug/DebugTypes.mli +++ b/debug/DebugTypes.mli @@ -19,6 +19,7 @@ open Camlcoq type composite_field = { cfd_name: string; + cfd_anon: bool; cfd_typ: int; cfd_bit_size: int option; cfd_bit_offset: int option; |