freduce performance fix
authorClifford Wolf <clifford@clifford.at>
Sat, 10 Aug 2013 13:03:13 +0000 (15:03 +0200)
committerClifford Wolf <clifford@clifford.at>
Sat, 10 Aug 2013 13:03:13 +0000 (15:03 +0200)
commit6068b8902f1e182a404423cdf686643719bbfdd7
tree1b216f808ce5ce572eec8f5ba6de8d356f2f5801
parentc8763301b436d05c1040adb1615e75ccbfde93e8
freduce performance fix
passes/sat/freduce.cc