Include stdbool.h for portability of atomic calls

berkeley-abc · Aug 7, 2024 · 2d26778 · 2d26778
1 parent f0b070e
commit 2d26778
Showing 2 changed files with 2 additions and 0 deletions.
diff --git a/src/misc/util/utilPth.c b/src/misc/util/utilPth.c
@@ -36,6 +36,7 @@
 using namespace std;
 #else
 #include <stdatomic.h>
+#include <stdbool.h>
 #endif
 
 #endif

diff --git a/src/proof/ssw/sswPart.c b/src/proof/ssw/sswPart.c
@@ -37,6 +37,7 @@
 using namespace std;
 #else
 #include <stdatomic.h>
+#include <stdbool.h>
 #endif
 
 #endif