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