diff options
| author | Xavier Leroy <xavier.leroy@college-de-france.fr> | 2023-01-19 14:15:13 -0500 |
|---|---|---|
| committer | Xavier Leroy <xavier.leroy@college-de-france.fr> | 2023-01-23 17:56:41 +0100 |
| commit | 3845996aa69a8386d438265add80b5b66116eeaa (patch) | |
| tree | c4253bb07f532c3a28646ce330edf1c70de4defe /cparser/Unblock.ml | |
| parent | fc79b13a30f124e9ac2d658773c395e0a74e2d1e (diff) | |
| download | compcert-3845996aa69a8386d438265add80b5b66116eeaa.tar.gz compcert-3845996aa69a8386d438265add80b5b66116eeaa.zip | |
C2C: wrong handling of typedefs to enums in bit fields
Fixes: #472
Diffstat (limited to 'cparser/Unblock.ml')
0 files changed, 0 insertions, 0 deletions