diff options
Diffstat (limited to 'src/expr/node_manager.cpp')
-rw-r--r-- | src/expr/node_manager.cpp | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/src/expr/node_manager.cpp b/src/expr/node_manager.cpp index 16ffd8306..efac34902 100644 --- a/src/expr/node_manager.cpp +++ b/src/expr/node_manager.cpp @@ -754,9 +754,9 @@ Node NodeManager::getBoundVarListForFunctionType( TypeNode tn ) { if( bvl.isNull() ){ std::vector< Node > vars; for( unsigned i=0; i<tn.getNumChildren()-1; i++ ){ - vars.push_back( NodeManager::currentNM()->mkBoundVar( tn[i] ) ); + vars.push_back(mkBoundVar(tn[i])); } - bvl = NodeManager::currentNM()->mkNode( kind::BOUND_VAR_LIST, vars ); + bvl = mkNode(kind::BOUND_VAR_LIST, vars); Trace("functions") << "Make standard bound var list " << bvl << " for " << tn << std::endl; tn.setAttribute(LambdaBoundVarListAttr(),bvl); } |