From 9f265dfd3f9ae087fa22ffd809c00625fc6e2c65 Mon Sep 17 00:00:00 2001 From: Alberto Gonzalez Date: Mon, 30 Mar 2020 16:25:30 +0000 Subject: [PATCH] Further clean up `passes/sat/freduce.cc`. Co-Authored-By: Eddie Hung --- passes/sat/freduce.cc | 5 ++--- 1 file changed, 2 insertions(+), 3 deletions(-) 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); -- 2.30.2