aboutsummaryrefslogtreecommitdiffstats
path: root/backends/smt2/smt2.cc
diff options
context:
space:
mode:
authorAlberto Gonzalez <boqwxp@airmail.cc>2020-03-13 21:49:12 +0000
committerAlberto Gonzalez <boqwxp@airmail.cc>2020-03-13 21:49:12 +0000
commit07f0874779226dd066661d100783d21b1f9ad721 (patch)
treeeed86a80dcfd15725038bd5eacea599395112243 /backends/smt2/smt2.cc
parenta0cc795e85541b0326b6d4396a726142f0d0f8bb (diff)
downloadyosys-07f0874779226dd066661d100783d21b1f9ad721.tar.gz
yosys-07f0874779226dd066661d100783d21b1f9ad721.tar.bz2
yosys-07f0874779226dd066661d100783d21b1f9ad721.zip
Clean up pseudo-private member usage in `backends/smt2/smt2.cc`.
Diffstat (limited to 'backends/smt2/smt2.cc')
-rw-r--r--backends/smt2/smt2.cc10
1 files changed, 5 insertions, 5 deletions
diff --git a/backends/smt2/smt2.cc b/backends/smt2/smt2.cc
index 081dcda99..e693ccf9d 100644
--- a/backends/smt2/smt2.cc
+++ b/backends/smt2/smt2.cc
@@ -1500,11 +1500,11 @@ struct Smt2Backend : public Backend {
// extract module dependencies
std::map<RTLIL::Module*, std::set<RTLIL::Module*>> module_deps;
- for (auto &mod_it : design->modules_) {
- module_deps[mod_it.second] = std::set<RTLIL::Module*>();
- for (auto &cell_it : mod_it.second->cells_)
- if (design->modules_.count(cell_it.second->type) > 0)
- module_deps[mod_it.second].insert(design->modules_.at(cell_it.second->type));
+ for (auto mod : design->modules()) {
+ module_deps[mod] = std::set<RTLIL::Module*>();
+ for (auto cell : mod->cells())
+ if (design->has(cell->type))
+ module_deps[mod].insert(design->module(cell->type));
}
// simple good-enough topological sort