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 /runtime | |
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 'runtime')
-rw-r--r-- | runtime/include/stdbool.h | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/runtime/include/stdbool.h b/runtime/include/stdbool.h index b9ff9399..c549da08 100644 --- a/runtime/include/stdbool.h +++ b/runtime/include/stdbool.h @@ -35,5 +35,6 @@ #define bool _Bool #define true 1 #define false 0 +#define __bool_true_false_are_defined 1 #endif |