Trying to fix the compilation issue.

berkeley-abc · Aug 1, 2024 · c62bfec · c62bfec
1 parent 3491773
commit c62bfec
Showing 1 changed file with 6 additions and 0 deletions.
diff --git a/src/proof/ssw/sswPart.c b/src/proof/ssw/sswPart.c
@@ -31,7 +31,13 @@
 #include <pthread.h>
 #include <unistd.h>
 #endif
+
+#ifdef __cplusplus
+#include <atomic>
+using namespace std;
+#else
 #include <stdatomic.h>
+#endif
 
 #endif