diff --git a/src/misc/util/utilPth.c b/src/misc/util/utilPth.c
index 88ce2a206a..aeb9125971 100644
--- 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
index 599e4a8f2f..89b6806848 100644
--- 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