diff options
author | Miodrag Milanovic <mmicko@gmail.com> | 2018-08-02 08:32:16 +0200 |
---|---|---|
committer | Miodrag Milanovic <mmicko@gmail.com> | 2018-08-02 08:32:16 +0200 |
commit | 86a36ceeef728413a213fa7702d07cf4a6c5298b (patch) | |
tree | d35acb090917fa71e35df61baa30453a5961914b /gui | |
parent | 97b16c6a5f81ac7643dfe5d811628ec076a3fc7d (diff) | |
download | nextpnr-86a36ceeef728413a213fa7702d07cf4a6c5298b.tar.gz nextpnr-86a36ceeef728413a213fa7702d07cf4a6c5298b.tar.bz2 nextpnr-86a36ceeef728413a213fa7702d07cf4a6c5298b.zip |
Properly delete element from unordered_map
Diffstat (limited to 'gui')
-rw-r--r-- | gui/treemodel.cc | 12 |
1 files changed, 7 insertions, 5 deletions
diff --git a/gui/treemodel.cc b/gui/treemodel.cc index 900d5101..33dd6a96 100644 --- a/gui/treemodel.cc +++ b/gui/treemodel.cc @@ -70,12 +70,14 @@ void IdStringList::updateElements(Context *ctx, std::vector<IdString> elements) } // For any elements that are in managed_ but not in new, delete them. - for (auto &pair : managed_) { - if (element_set.count(pair.first) != 0) { - continue; + auto it = managed_.begin(); + while (it != managed_.end()) { + if (element_set.count(it->first) != 0) { + ++it; + } else { + it = managed_.erase(it); + changed = true; } - managed_.erase(pair.first); - changed = true; } // Return early if there are no changes. |