diff options
Diffstat (limited to 'src/prop/sat.h')
-rw-r--r-- | src/prop/sat.h | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/prop/sat.h b/src/prop/sat.h index f10531080..ec38bb019 100644 --- a/src/prop/sat.h +++ b/src/prop/sat.h @@ -179,7 +179,7 @@ void SatSolver::theoryCheck(SatClause& conflict) { Node conflictNode = d_theoryEngine->getConflict(); // If the conflict is there, construct the conflict clause if (!conflictNode.isNull()) { - Debug("prop") << "SatSolver::theoryCheck() => conflict" << std::endl; + Debug("prop") << "SatSolver::theoryCheck() => conflict: " << conflictNode << std::endl; Node::const_iterator literal_it = conflictNode.begin(); Node::const_iterator literal_end = conflictNode.end(); while (literal_it != literal_end) { |