More freduce cleanups
authorClifford Wolf <clifford@clifford.at>
Fri, 3 Jan 2014 17:17:28 +0000 (18:17 +0100)
committerClifford Wolf <clifford@clifford.at>
Fri, 3 Jan 2014 17:17:28 +0000 (18:17 +0100)
commitc44e1bec6d2a549abb9d56c98e41c23bc698e12d
tree141df05188ae4235c7ded4c5fc70d771da1377ac
parent8f11eaaca6259e817df47d47df4acd8e77948d7f
More freduce cleanups
passes/sat/freduce.cc