diff options
Diffstat (limited to 'src/prop')
| -rw-r--r-- | src/prop/minisat/minisat.cpp | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/src/prop/minisat/minisat.cpp b/src/prop/minisat/minisat.cpp index 40fdeee55..fa31eb41c 100644 --- a/src/prop/minisat/minisat.cpp +++ b/src/prop/minisat/minisat.cpp @@ -182,7 +182,9 @@ SatValue MinisatSatSolver::solve(unsigned long& resource) { SatValue MinisatSatSolver::solve() { setupOptions(); d_minisat->budgetOff(); - return toSatLiteralValue(d_minisat->solve()); + SatValue result = toSatLiteralValue(d_minisat->solve()); + d_minisat->clearInterrupt(); + return result; } bool MinisatSatSolver::ok() const { |