diff options
Diffstat (limited to 'src/expr')
-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 367162420..5d409f748 100644 --- a/src/expr/node_manager.cpp +++ b/src/expr/node_manager.cpp @@ -330,8 +330,9 @@ void NodeManager::reclaimZombies() { TNode n; n.d_nv = nv; nv->d_rc = 1; // so that TNode doesn't assert-fail - for(vector<NodeManagerListener*>::iterator i = d_listeners.begin(); i != d_listeners.end(); ++i) { - (*i)->nmNotifyDeleteNode(n); + for (NodeManagerListener* listener : d_listeners) + { + listener->nmNotifyDeleteNode(n); } // this would mean that one of the listeners stowed away // a reference to this node! |