diff options
Diffstat (limited to 'src/expr/node_manager.cpp')
-rw-r--r-- | src/expr/node_manager.cpp | 5 |
1 files changed, 2 insertions, 3 deletions
diff --git a/src/expr/node_manager.cpp b/src/expr/node_manager.cpp index c34aa0a87..2d5ed36fb 100644 --- a/src/expr/node_manager.cpp +++ b/src/expr/node_manager.cpp @@ -94,14 +94,13 @@ namespace attr { // attribute that stores the canonical bound variable list for function types typedef expr::Attribute<attr::LambdaBoundVarListTag, Node> LambdaBoundVarListAttr; -NodeManager::NodeManager(ExprManager* exprManager) +NodeManager::NodeManager() : d_statisticsRegistry(new StatisticsRegistry()), d_skManager(new SkolemManager), d_bvManager(new BoundVarManager), next_id(0), d_attrManager(new expr::attr::AttributeManager()), - d_exprManager(exprManager), - d_nodeUnderDeletion(NULL), + d_nodeUnderDeletion(nullptr), d_inReclaimZombies(false), d_abstractValueCount(0), d_skolemCounter(0) |