diff options
Diffstat (limited to 'src/prop')
| -rw-r--r-- | src/prop/minisat/core/Solver.cc | 6 |
1 files changed, 0 insertions, 6 deletions
diff --git a/src/prop/minisat/core/Solver.cc b/src/prop/minisat/core/Solver.cc index 697ab4853..9aefda75a 100644 --- a/src/prop/minisat/core/Solver.cc +++ b/src/prop/minisat/core/Solver.cc @@ -1100,12 +1100,6 @@ lbool Solver::search(int nof_conflicts) continue; } else { // Yes, we're truly satisfiable - if(decisionEngineDone) { - // but we might know that only because of decision engine - Trace("decision") << decisionEngineDone << " decision engine stopping us" << std::endl; - interrupt(); - return l_Undef; - } return l_True; } } else if (check_type == CHECK_FINAL_FAKE) { |