From: Clark Barrett <barrett@cs.nyu.edu>
Date: Sun, 27 May 2012 00:39:27 +0000 (+0000)
Subject: Another expensive function call in a Debug trace
X-Git-Tag: cvc5-1.0.0~8141
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=28096861af9b01e4bad6059346446d97b9708cb7;p=cvc5.git

Another expensive function call in a Debug trace
---

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]));
   }
 }