diff options
| author | Dejan Jovanović <dejan.jovanovic@gmail.com> | 2010-03-08 22:35:56 +0000 |
|---|---|---|
| committer | Dejan Jovanović <dejan.jovanovic@gmail.com> | 2010-03-08 22:35:56 +0000 |
| commit | fc810750142ee15917c6d77d21d987c369ce774b (patch) | |
| tree | b0c51871700d2c3352612683f28988f11709f583 | |
| parent | 1596c6b8205ca706f56c0e544bd49ba7cfab6e51 (diff) | |
Fixing Debug("prop") => Debug("node") typo
| -rw-r--r-- | src/expr/node_builder.h | 10 |
1 files 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<nchild_thresh>::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<nchild_thresh>::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<nchild_thresh>::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<nchild_thresh>::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); } |