diff options
author | Andres Noetzli <andres.noetzli@gmail.com> | 2020-03-02 13:40:22 -0800 |
---|---|---|
committer | Andres Noetzli <andres.noetzli@gmail.com> | 2020-03-02 13:43:17 -0800 |
commit | 27eee749c333be74fdd4cde6a4d19f53f1c9bef5 (patch) | |
tree | 004b7f8954b8a6b8f4affbc8916f4bc0dd5fe2d7 | |
parent | 306e75041ce6fb08e97ff86cd445685528c4884c (diff) |
Fixed shadow warnings for batch number 14wshadowNodeManager
-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! |