diff options
| author | Michael Schmidt <github@mschmidt.me> | 2018-03-27 17:05:35 +0200 |
|---|---|---|
| committer | Xavier Leroy <xavierleroy@users.noreply.github.com> | 2018-03-27 17:05:35 +0200 |
| commit | 0096d6972fd7fec566024aff691c14d82d20ea80 (patch) | |
| tree | ddb1372be811acd50da87586911f82dc0a1667c7 /debug | |
| parent | 96abbcd8f25f03352ff397c2dd442015269722b8 (diff) | |
| download | compcert-0096d6972fd7fec566024aff691c14d82d20ea80.tar.gz compcert-0096d6972fd7fec566024aff691c14d82d20ea80.zip | |
Fix mistake in Bitfield transformation (#66)
Unions containing multiple bit fields were transformed incorrectly.
Diffstat (limited to 'debug')
0 files changed, 0 insertions, 0 deletions