From 07f0874779226dd066661d100783d21b1f9ad721 Mon Sep 17 00:00:00 2001 From: Alberto Gonzalez Date: Fri, 13 Mar 2020 21:49:12 +0000 Subject: Clean up pseudo-private member usage in `backends/smt2/smt2.cc`. --- backends/smt2/smt2.cc | 10 +++++----- 1 file changed, 5 insertions(+), 5 deletions(-) (limited to 'backends') 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> module_deps; - for (auto &mod_it : design->modules_) { - module_deps[mod_it.second] = std::set(); - 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(); + for (auto cell : mod->cells()) + if (design->has(cell->type)) + module_deps[mod].insert(design->module(cell->type)); } // simple good-enough topological sort -- cgit v1.2.3