From eb4bee3e1dabffc90deb5966954f946637d59d13 Mon Sep 17 00:00:00 2001
From: Bruno Schmitt <bruno@oschmitt.com>
Date: Tue, 20 Feb 2018 20:31:39 +0100
Subject: Small fix in satoko.

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

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

diff --git a/src/sat/satoko/solver.c b/src/sat/satoko/solver.c
index 6ea1a0b4..b1596345 100644
--- a/src/sat/satoko/solver.c
+++ b/src/sat/satoko/solver.c
@@ -521,7 +521,6 @@ void solver_cancel_until(solver_t *s, unsigned level)
     for (i = vec_uint_size(s->trail); i --> vec_uint_at(s->trail_lim, level);) {
         unsigned var = lit2var(vec_uint_at(s->trail, i));
 
-        vec_char_assign(s->polarity, var, vec_char_at(s->assigns, var));
         vec_char_assign(s->assigns, var, SATOKO_VAR_UNASSING);
         vec_uint_assign(s->reasons, var, UNDEF);
         if (!heap_in_heap(s->var_order, var))
-- 
cgit v1.2.3