From: Dejan Jovanović <dejan.jovanovic@gmail.com>
Date: Mon, 8 Mar 2010 22:35:56 +0000 (+0000)
Subject: Fixing Debug("prop") => Debug("node") typo
X-Git-Tag: cvc5-1.0.0~9199
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=fc810750142ee15917c6d77d21d987c369ce774b;p=cvc5.git

Fixing Debug("prop") => Debug("node") typo
---

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