diff options
author | David Monniaux <david.monniaux@univ-grenoble-alpes.fr> | 2019-01-30 20:51:37 +0100 |
---|---|---|
committer | David Monniaux <david.monniaux@univ-grenoble-alpes.fr> | 2019-01-30 20:51:37 +0100 |
commit | be449553d2fa4c801e2c05c129cab0be8673f35d (patch) | |
tree | f723c5599e7ae76e5ba0ed633e7851fd41bd7213 /runtime | |
parent | 2eab9982e439033cfa214058949836c9e2f3e385 (diff) | |
download | compcert-kvx-be449553d2fa4c801e2c05c129cab0be8673f35d.tar.gz compcert-kvx-be449553d2fa4c801e2c05c129cab0be8673f35d.zip |
C99 7.16 mandates __bool_true_false_are_defined
Diffstat (limited to 'runtime')
-rw-r--r-- | runtime/include/stdbool.h | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/runtime/include/stdbool.h b/runtime/include/stdbool.h index b9ff9399..07a25eb0 100644 --- a/runtime/include/stdbool.h +++ b/runtime/include/stdbool.h @@ -35,5 +35,5 @@ #define bool _Bool #define true 1 #define false 0 - +#define __bool_true_false_are_defined 1 #endif |