diff options
Diffstat (limited to 'src/prop/sat.cpp')
| -rw-r--r-- | src/prop/sat.cpp | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/src/prop/sat.cpp b/src/prop/sat.cpp index b78f20ee8..1db7bf446 100644 --- a/src/prop/sat.cpp +++ b/src/prop/sat.cpp @@ -63,9 +63,9 @@ void SatSolver::theoryPropagate(std::vector<SatLiteral>& output) { void SatSolver::explainPropagation(SatLiteral l, SatClause& explanation) { TNode lNode = d_cnfStream->getNode(l); - Debug("prop-explain") << "explainPropagation(" << lNode.toString() << ")" << std::endl; + Debug("prop-explain") << "explainPropagation(" << lNode << ")" << std::endl; Node theoryExplanation = d_theoryEngine->getExplanation(lNode); - Debug("prop-explain") << "explainPropagation() => " << theoryExplanation.toString() << std::endl; + Debug("prop-explain") << "explainPropagation() => " << theoryExplanation << std::endl; if (theoryExplanation.getKind() == kind::AND) { Node::const_iterator it = theoryExplanation.begin(); Node::const_iterator it_end = theoryExplanation.end(); |