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 7dfc1765fc76fd3bdc6fc43179b9d8ea291a5793..54016e52802bf1b8504a5053bbf9df670912e11e 100644 (file)
--- 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);