From 05df3dbee434dc206c02314d4ff7d2a6faee1c4b Mon Sep 17 00:00:00 2001
From: Clifford Wolf <clifford@clifford.at>
Date: Sun, 28 May 2017 11:59:05 +0200
Subject: Add "setundef -anyseq"

---
 passes/sat/freduce.cc | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

(limited to 'passes/sat')

diff --git a/passes/sat/freduce.cc b/passes/sat/freduce.cc
index 77263f6a2..a3028bfce 100644
--- a/passes/sat/freduce.cc
+++ b/passes/sat/freduce.cc
@@ -687,7 +687,8 @@ struct FreduceWorker
 		}
 
 		std::map<RTLIL::SigBit, int> bitusage;
-		module->rewrite_sigspecs(CountBitUsage(sigmap, bitusage));
+		CountBitUsage bitusage_worker(sigmap, bitusage);
+		module->rewrite_sigspecs(bitusage_worker);
 
 		if (!dump_prefix.empty())
 			dump();
-- 
cgit v1.2.3