diff options
Diffstat (limited to 'src/expr/node_manager.cpp')
| -rw-r--r-- | src/expr/node_manager.cpp | 6 |
1 files changed, 4 insertions, 2 deletions
diff --git a/src/expr/node_manager.cpp b/src/expr/node_manager.cpp index f040c7c72..59d23c6ea 100644 --- a/src/expr/node_manager.cpp +++ b/src/expr/node_manager.cpp @@ -86,7 +86,8 @@ NodeManager::NodeManager(context::Context* ctxt, d_attrManager(ctxt), d_exprManager(exprManager), d_nodeUnderDeletion(NULL), - d_inReclaimZombies(false) { + d_inReclaimZombies(false), + d_abstractValueCount(0) { init(); } @@ -99,7 +100,8 @@ NodeManager::NodeManager(context::Context* ctxt, d_attrManager(ctxt), d_exprManager(exprManager), d_nodeUnderDeletion(NULL), - d_inReclaimZombies(false) { + d_inReclaimZombies(false), + d_abstractValueCount(0) { init(); } |