From 2d267786d779490747f2b548dad4bd0d3416c4a5 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Martin=20Povi=C5=A1er?= <povik@cutebit.org>
Date: Wed, 7 Aug 2024 18:13:45 +0200
Subject: [PATCH] Include `stdbool.h` for portability of atomic calls

---
 src/misc/util/utilPth.c | 1 +
 src/proof/ssw/sswPart.c | 1 +
 2 files changed, 2 insertions(+)

diff --git a/src/misc/util/utilPth.c b/src/misc/util/utilPth.c
index 88ce2a206..aeb912597 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 599e4a8f2..89b680684 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