From c62bfec2fd438b5068f8e20df105ea8484e22503 Mon Sep 17 00:00:00 2001
From: Alan Mishchenko <alanmi@berkeley.edu>
Date: Wed, 31 Jul 2024 21:56:08 -0700
Subject: [PATCH] Trying to fix the compilation issue.

---
 src/proof/ssw/sswPart.c | 6 ++++++
 1 file changed, 6 insertions(+)

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