From: Eddie Hung Date: Mon, 30 Mar 2020 18:13:06 +0000 (-0700) Subject: Merge pull request #1833 from boqwxp/cleanup_sat_freduce X-Git-Tag: working-ls180~721 X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=769c7318e7b6dea9fbc4d7ba261f3df022f46d77;p=yosys.git Merge pull request #1833 from boqwxp/cleanup_sat_freduce Clean up pseudo-private member usage in `passes/sat/freduce.cc`. --- 769c7318e7b6dea9fbc4d7ba261f3df022f46d77