diff options
Diffstat (limited to 'src/prop/sat.cpp')
| -rw-r--r-- | src/prop/sat.cpp | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/src/prop/sat.cpp b/src/prop/sat.cpp index 46d2182a9..df6eead4c 100644 --- a/src/prop/sat.cpp +++ b/src/prop/sat.cpp @@ -9,7 +9,9 @@ namespace prop { void SatSolver::theoryCheck(SatClause& conflict) { // Try theory propagation - if (!d_theoryEngine->check(theory::Theory::FULL_EFFORT)) { + bool ok = d_theoryEngine->check(theory::Theory::FULL_EFFORT); + // If in conflict construct the conflict clause + if (!ok) { // We have a conflict, get it Node conflictNode = d_theoryEngine->getConflict(); Debug("prop") << "SatSolver::theoryCheck() => conflict: " << conflictNode << std::endl; |