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 /pg | |
| 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 'pg')
0 files changed, 0 insertions, 0 deletions