Clean up pseudo-private member usage in `passes/sat/eval.cc`.
authorAlberto Gonzalez <boqwxp@airmail.cc>
Sat, 28 Mar 2020 03:11:23 +0000 (03:11 +0000)
committerAlberto Gonzalez <boqwxp@airmail.cc>
Sat, 28 Mar 2020 03:11:23 +0000 (03:11 +0000)
commitb63b2dbbc30311a951c3f38982d083c7521f85f7
treec4f78ba2501e4bbcb47cfb8ad5878d0cf59201d7
parent1bf2bdf05bd78a08f932780d99144b2d56e2943f
Clean up pseudo-private member usage in `passes/sat/eval.cc`.
passes/sat/eval.cc