diff options
| author | Clark Barrett <barrett@cs.nyu.edu> | 2012-05-27 00:39:27 +0000 |
|---|---|---|
| committer | Clark Barrett <barrett@cs.nyu.edu> | 2012-05-27 00:39:27 +0000 |
| commit | 28096861af9b01e4bad6059346446d97b9708cb7 (patch) | |
| tree | 44d02569d63db6bd1b1906bcc0343ba6ff850d7c | |
| parent | cf640b735157b0f5d053a7b938ee452dcfd00c66 (diff) | |
Another expensive function call in a Debug trace
| -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])); } } |