From fc810750142ee15917c6d77d21d987c369ce774b Mon Sep 17 00:00:00 2001 From: =?utf8?q?Dejan=20Jovanovi=C4=87?= Date: Mon, 8 Mar 2010 22:35:56 +0000 Subject: [PATCH] Fixing Debug("prop") => Debug("node") typo --- src/expr/node_builder.h | 10 +++++----- 1 file changed, 5 insertions(+), 5 deletions(-) diff --git a/src/expr/node_builder.h b/src/expr/node_builder.h index 42ca9db2b..5c01a3b0f 100644 --- a/src/expr/node_builder.h +++ b/src/expr/node_builder.h @@ -189,7 +189,7 @@ public: NodeBuilder& append(TNode n) { Assert(!d_used, "NodeBuilder is one-shot only; attempt to access it after conversion"); - Debug("prop") << "append: " << this << " " << n << "[" << n.d_nv << "]" << std::endl; + Debug("node") << "append: " << this << " " << n << "[" << n.d_nv << "]" << std::endl; allocateEvIfNecessaryForAppend(); expr::NodeValue* ev = n.d_nv; ev->inc(); @@ -834,7 +834,7 @@ NodeBuilder::operator Node() const {// const version if(ev != NULL) { // expression already exists in node manager //d_used = true; // const version - Debug("prop") << "result: " << Node(ev) << std::endl; + Debug("node") << "result: " << Node(ev) << std::endl; return Node(ev); } @@ -887,7 +887,7 @@ NodeBuilder::operator Node() {// not const nv->d_rc = 0; d_used = true; d_nv = NULL; - Debug("prop") << "result: " << Node(nv) << std::endl; + Debug("node") << "result: " << Node(nv) << std::endl; return Node(nv); } @@ -902,7 +902,7 @@ NodeBuilder::operator Node() {// not const // expression already exists in node manager dealloc(); d_used = true; - Debug("prop") << "result: " << Node(nv) << std::endl; + Debug("node") << "result: " << Node(nv) << std::endl; return Node(nv); } // Otherwise crop and set the expression value to the allocated one @@ -920,7 +920,7 @@ NodeBuilder::operator Node() {// not const if(ev != NULL) { // expression already exists in node manager d_used = true; - Debug("prop") << "result: " << Node(ev) << std::endl; + Debug("node") << "result: " << Node(ev) << std::endl; return Node(ev); } -- 2.30.2