diff options
| author | Bernhard Schommer <bernhardschommer@gmail.com> | 2017-01-24 13:04:51 +0100 |
|---|---|---|
| committer | Bernhard Schommer <bernhardschommer@gmail.com> | 2017-01-24 13:04:51 +0100 |
| commit | 89bd87cab8e6216b1f87389f93424468710e5f21 (patch) | |
| tree | c8bbc0695328f48073ad7a9f5ed040e4928b8b1f /debug/DebugTypes.mli | |
| parent | f1e56a6c69acfd233bbe99bc3ab28409116eb5db (diff) | |
| download | compcert-89bd87cab8e6216b1f87389f93424468710e5f21.tar.gz compcert-89bd87cab8e6216b1f87389f93424468710e5f21.zip | |
Do not print anonymous member names in debug info
Anonymous members no longer are printed in the debug information.
Fix 20798
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; |