diff options
Diffstat (limited to 'src/expr/node_manager.cpp')
| -rw-r--r-- | src/expr/node_manager.cpp | 9 |
1 files changed, 3 insertions, 6 deletions
diff --git a/src/expr/node_manager.cpp b/src/expr/node_manager.cpp index 1d4b7d3d1..c647e128c 100644 --- a/src/expr/node_manager.cpp +++ b/src/expr/node_manager.cpp @@ -81,8 +81,7 @@ struct NVReclaim { NodeManager::NodeManager(context::Context* ctxt, ExprManager* exprManager) : - d_optionsAllocated(new Options()), - d_options(d_optionsAllocated), + d_options(), d_statisticsRegistry(new StatisticsRegistry()), next_id(0), d_attrManager(ctxt), @@ -96,8 +95,7 @@ NodeManager::NodeManager(context::Context* ctxt, NodeManager::NodeManager(context::Context* ctxt, ExprManager* exprManager, const Options& options) : - d_optionsAllocated(NULL), - d_options(&options), + d_options(options), d_statisticsRegistry(new StatisticsRegistry()), next_id(0), d_attrManager(ctxt), @@ -155,7 +153,6 @@ NodeManager::~NodeManager() { } delete d_statisticsRegistry; - delete d_optionsAllocated; } void NodeManager::reclaimZombies() { @@ -254,7 +251,7 @@ TypeNode NodeManager::getType(TNode n, bool check) Debug("getType") << "getting type for " << n << std::endl; - if(needsCheck && !d_options->earlyTypeChecking) { + if(needsCheck && !d_options.earlyTypeChecking) { /* Iterate and compute the children bottom up. This avoids stack overflows in computeType() when the Node graph is really deep, which should only affect us when we're type checking lazily. */ |