diff options
author | ajreynol <andrew.j.reynolds@gmail.com> | 2017-04-14 17:03:44 -0500 |
---|---|---|
committer | ajreynol <andrew.j.reynolds@gmail.com> | 2017-04-14 17:03:44 -0500 |
commit | 08d6ec676189826f99756f9245186ee9de7dbc36 (patch) | |
tree | 0705bfd0caf37d694c87b7a907edcd5bea466cbe /src/expr/node_manager.cpp | |
parent | 9d7766ed1e41da53d59ad16e9ef8be8f522226df (diff) |
Fix bug related to portfolio with nullary operators.
Diffstat (limited to 'src/expr/node_manager.cpp')
-rw-r--r-- | src/expr/node_manager.cpp | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/src/expr/node_manager.cpp b/src/expr/node_manager.cpp index 7cf228403..e9e92a5b1 100644 --- a/src/expr/node_manager.cpp +++ b/src/expr/node_manager.cpp @@ -459,7 +459,7 @@ TypeNode NodeManager::getType(TNode n, bool check) /* The check should have happened, if we asked for it. */ Assert( !check || getAttribute(n, TypeCheckedAttr()) ); - Debug("getType") << "type of " << n << " is " << typeNode << endl; + Debug("getType") << "type of " << &n << " " << n << " is " << typeNode << endl; return typeNode; } @@ -799,10 +799,10 @@ Node NodeManager::mkNullaryOperator(const TypeNode& type, Kind k) { //setAttribute(n, TypeCheckedAttr(), true); d_unique_vars[k][type] = n; Assert( n.getMetaKind() == kind::metakind::NULLARY_OPERATOR ); - Trace("ajr-temp") << this << "...made nullary operator " << n << std::endl; + Trace("ajr-temp") << this << "...made nullary operator " << n << " " << &n << " " << type << std::endl; return n; }else{ - Trace("ajr-temp") << this << "...reuse nullary operator " << it->second << std::endl; + Trace("ajr-temp") << this << "...reuse nullary operator " << it->second << " " << &( it->second ) << std::endl; return it->second; } } |