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 /test/spass/tableau.h | |
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 'test/spass/tableau.h')
0 files changed, 0 insertions, 0 deletions