Cleanups in freduce command
authorClifford Wolf <clifford@clifford.at>
Fri, 3 Jan 2014 16:50:39 +0000 (17:50 +0100)
committerClifford Wolf <clifford@clifford.at>
Fri, 3 Jan 2014 16:50:39 +0000 (17:50 +0100)
commit03f0ab9de29aa3e396c1b1b3e62e6676de3946a3
treeeef7ad0b44adfad45befc9afe2057f9aa26c1365
parent7354a1718e2e3f2eec4843a56410743af0ff7a83
Cleanups in freduce command
passes/sat/freduce.cc