diff options
author | Xavier Leroy <xavier.leroy@college-de-france.fr> | 2019-02-02 15:50:41 +0100 |
---|---|---|
committer | Xavier Leroy <xavierleroy@users.noreply.github.com> | 2019-02-04 16:18:43 +0100 |
commit | 455c56fac3f0e29777aa2fde2b62b5beffea0260 (patch) | |
tree | 95e1468bcd8b1cc01598218e771a147bc7f9872d /lib/Readconfig.mli | |
parent | 8a1f8f93d7e17154743daa1139a8971a51ec70c3 (diff) | |
download | compcert-455c56fac3f0e29777aa2fde2b62b5beffea0260.tar.gz compcert-455c56fac3f0e29777aa2fde2b62b5beffea0260.zip |
<stdbool.h>: add missing macro __bool_true_false_are_defined
As specified in ISO C99 section 7.16 and C11 section 7.18.
Fixes issue #266
Diffstat (limited to 'lib/Readconfig.mli')
0 files changed, 0 insertions, 0 deletions