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