From f6f542c87330e15386952b12fda4ba1c7b971c30 Mon Sep 17 00:00:00 2001
From: Alan Mishchenko <alanmi@berkeley.edu>
Date: Sat, 2 Mar 2024 16:38:16 -0800
Subject: [PATCH] More changes to compile with namespaces.

---
 src/sat/bsat2/IntTypes.h | 2 ++
 src/sat/bsat2/XAlloc.h   | 2 ++
 2 files changed, 4 insertions(+)

diff --git a/src/sat/bsat2/IntTypes.h b/src/sat/bsat2/IntTypes.h
index 1c011e83af..fdcd3d9f70 100644
--- a/src/sat/bsat2/IntTypes.h
+++ b/src/sat/bsat2/IntTypes.h
@@ -44,4 +44,6 @@ OF OR IN CONNECTION WITH THE SOFTWARE OR THE USE OR OTHER DEALINGS IN THE SOFTWA
 
 //=================================================================================================
 
+#include <misc/util/abc_namespaces.h>
+
 #endif
diff --git a/src/sat/bsat2/XAlloc.h b/src/sat/bsat2/XAlloc.h
index 9533b6b908..fdebe502ad 100644
--- a/src/sat/bsat2/XAlloc.h
+++ b/src/sat/bsat2/XAlloc.h
@@ -24,6 +24,8 @@ OF OR IN CONNECTION WITH THE SOFTWARE OR THE USE OR OTHER DEALINGS IN THE SOFTWA
 #include <errno.h>
 #include <stdlib.h>
 
+#include <misc/util/abc_namespaces.h>
+
 ABC_NAMESPACE_CXX_HEADER_START
 
 namespace Minisat {