diff options
author | Xavier Leroy <xavier.leroy@college-de-france.fr> | 2021-01-21 16:54:40 +0100 |
---|---|---|
committer | Xavier Leroy <xavier.leroy@college-de-france.fr> | 2021-01-21 17:17:34 +0100 |
commit | 25483cf1acce8695a438f4f2164b09fb1ecd9d2e (patch) | |
tree | d7c96d261975a0b4bc5bbce4209a9e1e19b13e2f /test/clightgen/issue216.c | |
parent | fc82b6c80fd3feeb4ef9478e6faa16b5b1104593 (diff) | |
download | compcert-25483cf1acce8695a438f4f2164b09fb1ecd9d2e.tar.gz compcert-25483cf1acce8695a438f4f2164b09fb1ecd9d2e.zip |
Silence some new warnings of Coq 8.13
Either because the code change that would silence the warning is not
desirable, or because it would break compatibility with earlier versions
of Coq.
Explain the silenced warnings as comments in the Makefile.
Diffstat (limited to 'test/clightgen/issue216.c')
0 files changed, 0 insertions, 0 deletions