diff --git a/src/solvers/sat/satcheck_minisat2.cpp b/src/solvers/sat/satcheck_minisat2.cpp
index 72ef1bd23c3..05bab6aebee 100644
--- a/src/solvers/sat/satcheck_minisat2.cpp
+++ b/src/solvers/sat/satcheck_minisat2.cpp
@@ -73,10 +73,12 @@ void satcheck_minisat2_baset<T>::set_polarity(literalt a, bool value)
 {
   PRECONDITION(!a.is_constant());
 
+  using Minisat::lbool;
+
   try
   {
     add_variables();
-    solver->setPolarity(a.var_no(), value);
+    solver->setPolarity(a.var_no(), value ? l_True : l_False);
   }
   catch(Minisat::OutOfMemoryException)
   {