Merge pull request #8107 from tautschnig/bugfixes/minisat-versions-l_…

…True Support Minisat source variants where l_False/l_True are not macros
diffblue · Feb 5, 2024 · da165a1 · da165a1
2 parents 12660ce + c274d6e
commit da165a1
Showing 1 changed file with 5 additions and 0 deletions.
diff --git a/src/solvers/sat/satcheck_minisat2.cpp b/src/solvers/sat/satcheck_minisat2.cpp
@@ -21,6 +21,11 @@ Author: Daniel Kroening, [email protected]
 #include <minisat/core/Solver.h>
 #include <minisat/simp/SimpSolver.h>
 
+#ifndef l_False
+#  define l_False Minisat::l_False
+#  define l_True Minisat::l_True
+#endif
+
 #ifndef HAVE_MINISAT2
 #error "Expected HAVE_MINISAT2"
 #endif