diff options
Diffstat (limited to 'src/sat/satoko')
| -rw-r--r-- | src/sat/satoko/solver_api.c | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/src/sat/satoko/solver_api.c b/src/sat/satoko/solver_api.c index 837d64e7..20217e54 100644 --- a/src/sat/satoko/solver_api.c +++ b/src/sat/satoko/solver_api.c @@ -290,6 +290,7 @@ void satoko_assump_push(solver_t *s, int lit) assert(lit2var(lit) < satoko_varnum(s)); // printf("[Satoko] Push assumption: %d\n", lit); vec_uint_push_back(s->assumptions, lit); + vec_char_assign(s->polarity, lit2var(lit), lit_polarity(lit)); } void satoko_assump_pop(solver_t *s) |