diff options
| author | Xavier Leroy <xavier.leroy@college-de-france.fr> | 2022-09-04 19:08:22 +0200 |
|---|---|---|
| committer | Xavier Leroy <xavier.leroy@college-de-france.fr> | 2022-09-04 19:08:22 +0200 |
| commit | 91f21889423c41bb46b8b25b510c71987cf6006b (patch) | |
| tree | 0f39c51602d6d3947f35784c9eee8a10df3ae545 /common/Switch.v | |
| parent | 941c3f023f473731d5a3399d950c746d0cadf46a (diff) | |
| download | compcert-91f21889423c41bb46b8b25b510c71987cf6006b.tar.gz compcert-91f21889423c41bb46b8b25b510c71987cf6006b.zip | |
`_Generic` is a C11 feature, should trigger the corresponding warning if active
Diffstat (limited to 'common/Switch.v')
0 files changed, 0 insertions, 0 deletions