Merge pull request #1833 from boqwxp/cleanup_sat_freduce
authorEddie Hung <eddie@fpgeh.com>
Mon, 30 Mar 2020 18:13:06 +0000 (11:13 -0700)
committerGitHub <noreply@github.com>
Mon, 30 Mar 2020 18:13:06 +0000 (11:13 -0700)
commit769c7318e7b6dea9fbc4d7ba261f3df022f46d77
treef8eda6546f1450fe9cab6f8d5e4709c5885ce1c3
parentd5e2061687991085de89acc1905a366abd263c90
parent9f265dfd3f9ae087fa22ffd809c00625fc6e2c65
Merge pull request #1833 from boqwxp/cleanup_sat_freduce

Clean up pseudo-private member usage in `passes/sat/freduce.cc`.