From: Alberto Gonzalez <boqwxp@airmail.cc>
Date: Mon, 30 Mar 2020 16:25:30 +0000 (+0000)
Subject: Further clean up `passes/sat/freduce.cc`.
X-Git-Tag: working-ls180~721^2
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=9f265dfd3f9ae087fa22ffd809c00625fc6e2c65;p=yosys.git

Further clean up `passes/sat/freduce.cc`.

Co-Authored-By: Eddie Hung <eddie@fpgeh.com>
---

diff --git a/passes/sat/freduce.cc b/passes/sat/freduce.cc
index 7dfc1765f..54016e528 100644
--- a/passes/sat/freduce.cc
+++ b/passes/sat/freduce.cc
@@ -828,9 +828,8 @@ struct FreducePass : public Pass {
 		extra_args(args, argidx, design);
 
 		int bitcount = 0;
-		for (auto module : design->modules()) {
-			if (design->selected(module))
-				bitcount += FreduceWorker(design, module).run();
+		for (auto module : design->selected_modules()) {
+			bitcount += FreduceWorker(design, module).run();
 		}
 
 		log("Rewired a total of %d signal bits.\n", bitcount);