diff options
Diffstat (limited to 'src/prop/minisat/core/Solver.cc')
| -rw-r--r-- | src/prop/minisat/core/Solver.cc | 3 |
1 files changed, 0 insertions, 3 deletions
diff --git a/src/prop/minisat/core/Solver.cc b/src/prop/minisat/core/Solver.cc index 311224a03..e769ba6cc 100644 --- a/src/prop/minisat/core/Solver.cc +++ b/src/prop/minisat/core/Solver.cc @@ -669,9 +669,6 @@ void Solver::cancelUntil(int level) { // Pop the SMT context for (int l = trail_lim.size() - level; l > 0; --l) { d_context->pop(); - if(Dump.isOn("state")) { - d_proxy->dumpStatePop(); - } } for (int c = trail.size()-1; c >= trail_lim[level]; c--){ Var x = var(trail[c]); |