diff options
Diffstat (limited to 'src/theory/bv/lazy_bitblaster.cpp')
| -rw-r--r-- | src/theory/bv/lazy_bitblaster.cpp | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/src/theory/bv/lazy_bitblaster.cpp b/src/theory/bv/lazy_bitblaster.cpp index e5b5ed664..fbebcd952 100644 --- a/src/theory/bv/lazy_bitblaster.cpp +++ b/src/theory/bv/lazy_bitblaster.cpp @@ -491,8 +491,9 @@ void TLazyBitblaster::clearSolver() { d_explanations = new(true) ExplanationMap(d_ctx); d_bbAtoms.clear(); d_variables.clear(); - d_termCache.clear(); + d_termCache.clear(); + invalidateModelCache(); // recreate sat solver d_satSolver = prop::SatSolverFactory::createMinisat(d_ctx); d_cnfStream = new prop::TseitinCnfStream(d_satSolver, |