diff options
author | Michael Schmidt <github@mschmidt.me> | 2018-04-09 13:51:43 +0200 |
---|---|---|
committer | Michael Schmidt <github@mschmidt.me> | 2018-04-25 16:39:43 +0200 |
commit | 3b6a054a9a2f54e9c351a4d343331499453c39c5 (patch) | |
tree | 5d2fc35a70be70d694c02b1c5757eb96d5f8b004 /driver/Complements.v | |
parent | 92c8be3a36dff49f92e6cf94719a1750e4961538 (diff) | |
download | compcert-3b6a054a9a2f54e9c351a4d343331499453c39c5.tar.gz compcert-3b6a054a9a2f54e9c351a4d343331499453c39c5.zip |
Add diagnostic for illegal use of void (Bug 23342)
Diffstat (limited to 'driver/Complements.v')
0 files changed, 0 insertions, 0 deletions