diff options
Diffstat (limited to 'src/expr/node_manager.cpp')
| -rw-r--r-- | src/expr/node_manager.cpp | 5 |
1 files changed, 3 insertions, 2 deletions
diff --git a/src/expr/node_manager.cpp b/src/expr/node_manager.cpp index 4653ee95f..5c24699b8 100644 --- a/src/expr/node_manager.cpp +++ b/src/expr/node_manager.cpp @@ -82,10 +82,11 @@ struct NVReclaim { }; -NodeManager::NodeManager(context::Context* ctxt) : +NodeManager::NodeManager(context::Context* ctxt, bool earlyTypeChecking) : d_attrManager(ctxt), d_nodeUnderDeletion(NULL), - d_inReclaimZombies(false) { + d_inReclaimZombies(false), + d_earlyTypeChecking(earlyTypeChecking) { poolInsert( &expr::NodeValue::s_null ); for(unsigned i = 0; i < unsigned(kind::LAST_KIND); ++i) { |