From 3f0cb6318b14e286cd9054a0f771183d15ef3db6 Mon Sep 17 00:00:00 2001
From: Bruno Schmitt <bruno@oschmitt.com>
Date: Sat, 18 Feb 2017 17:08:54 -0800
Subject: New function to retrieve polarity value of a variable.

---
 src/sat/satoko/solver.c | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'src/sat/satoko/solver.c')

diff --git a/src/sat/satoko/solver.c b/src/sat/satoko/solver.c
index 6554f653..3e5fc8ee 100644
--- a/src/sat/satoko/solver.c
+++ b/src/sat/satoko/solver.c
@@ -195,7 +195,7 @@ static inline unsigned solver_decide(solver_t *s)
         if (solver_has_marks(s) && !var_mark(s, next_var))
             next_var = UNDEF;
     }
-    return var2lit(next_var, vec_char_at(s->polarity, next_var));
+    return var2lit(next_var, var_polarity(s, next_var));
 }
 
 static inline void solver_new_decision(solver_t *s, unsigned lit)
-- 
cgit v1.2.3