Another small freduce cleanup/bugfix
authorClifford Wolf <clifford@clifford.at>
Fri, 3 Jan 2014 11:34:18 +0000 (12:34 +0100)
committerClifford Wolf <clifford@clifford.at>
Fri, 3 Jan 2014 11:34:18 +0000 (12:34 +0100)
commitc3e9f0712fa2a35cf3e4a638164aed7ab8d8ff4a
treed42896f5540da347980e208f895f9a5983042e38
parent914e208aa3b6d52d3a4145525d15c4fba237fd87
Another small freduce cleanup/bugfix
passes/sat/freduce.cc