Fixed bug in freduce command
authorClifford Wolf <clifford@clifford.at>
Fri, 7 Mar 2014 17:44:23 +0000 (18:44 +0100)
committerClifford Wolf <clifford@clifford.at>
Fri, 7 Mar 2014 17:44:23 +0000 (18:44 +0100)
commite3b11ea2d64724102070f96e667c4dea07c0c3e5
treeed0ec44fb854d3b21564678da72de6cdc414e3f1
parent6f8865d81ab6392bdd1413f0ae6f5a5774524d28
Fixed bug in freduce command
passes/sat/freduce.cc