From a1159d98dff6af1d59dba6cc3309d174c9d065d6 Mon Sep 17 00:00:00 2001
From: Alan Mishchenko <alanmi@berkeley.edu>
Date: Sat, 2 Mar 2024 16:10:37 -0800
Subject: [PATCH] Fixing a compiler problem with namespaces.

---
 src/sat/bsat2/ParseUtils.h | 4 ++++
 1 file changed, 4 insertions(+)

diff --git a/src/sat/bsat2/ParseUtils.h b/src/sat/bsat2/ParseUtils.h
index 8e0f9c890..b7325f174 100644
--- a/src/sat/bsat2/ParseUtils.h
+++ b/src/sat/bsat2/ParseUtils.h
@@ -26,6 +26,8 @@ OF OR IN CONNECTION WITH THE SOFTWARE OR THE USE OR OTHER DEALINGS IN THE SOFTWA
 
 #include "misc/zlib/zlib.h"
 
+ABC_NAMESPACE_CXX_HEADER_START
+
 namespace Minisat {
 
 //-------------------------------------------------------------------------------------------------
@@ -119,4 +121,6 @@ static bool eagerMatch(B& in, const char* str) {
 //=================================================================================================
 }
 
+ABC_NAMESPACE_CXX_HEADER_END
+
 #endif