More changes to compile with namespaces.

berkeley-abc · Mar 3, 2024 · f6f542c · f6f542c
1 parent 4de4605
commit f6f542c
Show file tree

Hide file tree

Showing 2 changed files with 4 additions and 0 deletions.
diff --git 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
@@ -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 {
Original file line number	Diff line number	Diff line change
Expand Up		@@ -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