Some minor code cleanups in freduce command
authorClifford Wolf <clifford@clifford.at>
Fri, 7 Mar 2014 17:29:04 +0000 (18:29 +0100)
committerClifford Wolf <clifford@clifford.at>
Fri, 7 Mar 2014 17:29:04 +0000 (18:29 +0100)
commit6f8865d81ab6392bdd1413f0ae6f5a5774524d28
tree2926f13408dbceb0cda23a1966da3bfd158ce60e
parent620d51d9f713d68ebc920b5b1cac59cc176b0b9d
Some minor code cleanups in freduce command
passes/sat/freduce.cc