diff --git a/src/proof/ssw/sswPart.c b/src/proof/ssw/sswPart.c
index 08ebf31ea..f1618ad6f 100644
--- 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