diff options
| author | Bernhard Schommer <bernhardschommer@gmail.com> | 2017-02-03 12:06:18 +0100 |
|---|---|---|
| committer | Bernhard Schommer <bernhardschommer@gmail.com> | 2017-02-03 12:06:18 +0100 |
| commit | e727687892f32bf11a5357695eb791780c8c34ba (patch) | |
| tree | 6cc80566d5e89569a8c7b4fd09cd17ef7d8bb5d8 /extraction | |
| parent | a2b2c032f2be3e8c55ed93a9d38ac98c2aebcd4f (diff) | |
| download | compcert-e727687892f32bf11a5357695eb791780c8c34ba.tar.gz compcert-e727687892f32bf11a5357695eb791780c8c34ba.zip | |
Removed no longer working check.
Since anonymous struct members are kept in the fieldlist, the
fieldlist can never be empty in this case.
Bug 19872
Diffstat (limited to 'extraction')
0 files changed, 0 insertions, 0 deletions