diff options
| -rw-r--r-- | src/prop/theory_proxy.cpp | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/prop/theory_proxy.cpp b/src/prop/theory_proxy.cpp index 7366afcaf..ccb26b6f0 100644 --- a/src/prop/theory_proxy.cpp +++ b/src/prop/theory_proxy.cpp @@ -48,7 +48,7 @@ void TheoryProxy::theoryPropagate(std::vector<SatLiteral>& output) { std::vector<TNode> outputNodes; d_theoryEngine->getPropagatedLiterals(outputNodes); for (unsigned i = 0, i_end = outputNodes.size(); i < i_end; ++ i) { - Debug("prop-explain") << "theoryPropagate() => " << outputNodes[i].toString() << std::endl; + Debug("prop-explain") << "theoryPropagate() => " << outputNodes[i] << std::endl; output.push_back(d_cnfStream->getLiteral(outputNodes[i])); } } |