diff options
author | Xavier Leroy <xavier.leroy@inria.fr> | 2018-06-03 17:29:15 +0200 |
---|---|---|
committer | Xavier Leroy <xavierleroy@users.noreply.github.com> | 2018-06-04 16:30:23 +0200 |
commit | 545df304d7c17acc475fb1b37f16959fcc430f6a (patch) | |
tree | de41fca799921eee32d345a6f9c5944667d1869a /cparser/Unblock.ml | |
parent | 4a11a47faff0bad5f7f3d65b3c00569ba983414d (diff) | |
download | compcert-545df304d7c17acc475fb1b37f16959fcc430f6a.tar.gz compcert-545df304d7c17acc475fb1b37f16959fcc430f6a.zip |
Turn off the warning "C11 extension" by default
These are extensions w.r.t. C99, not incompatible changes.
Nothing bad can happen if those C11 features are used, except making
the code incompatible with C99.
Diffstat (limited to 'cparser/Unblock.ml')
0 files changed, 0 insertions, 0 deletions