Merge pull request #1831 from boqwxp/cleanup_sat_eval
authorEddie Hung <eddie@fpgeh.com>
Mon, 30 Mar 2020 18:13:53 +0000 (11:13 -0700)
committerGitHub <noreply@github.com>
Mon, 30 Mar 2020 18:13:53 +0000 (11:13 -0700)
commit9f7d20a6537e81576153a00946cbe0fae18d0f90
tree0e5da4de7b61b08384d526e28c8c077b3d3f9ebd
parent769c7318e7b6dea9fbc4d7ba261f3df022f46d77
parentf4faa1514bc48d67c904b3cc6d65d8381d570bf3
Merge pull request #1831 from boqwxp/cleanup_sat_eval

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