From: Eddie Hung Date: Mon, 30 Mar 2020 20:05:12 +0000 (-0700) Subject: Merge pull request #1835 from boqwxp/cleanup_sat_expose X-Git-Tag: working-ls180~717 X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=3e88ede0616208c3c377b67c49fa5167ed61fcd3;p=yosys.git Merge pull request #1835 from boqwxp/cleanup_sat_expose Clean up pseudo-private member usage in `passes/sat/expose.cc`. --- 3e88ede0616208c3c377b67c49fa5167ed61fcd3