Fixing a compiler problem with namespaces.

berkeley-abc · Mar 3, 2024 · a1159d9 · a1159d9
1 parent 390a0e8
commit a1159d9
Showing 1 changed file with 4 additions and 0 deletions.
diff --git 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