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 /.gitignore | |
| 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 '.gitignore')
0 files changed, 0 insertions, 0 deletions