Small bugfixes in freduce pass
authorClifford Wolf <clifford@clifford.at>
Tue, 6 Aug 2013 13:53:09 +0000 (15:53 +0200)
committerClifford Wolf <clifford@clifford.at>
Tue, 6 Aug 2013 13:53:09 +0000 (15:53 +0200)
commit653750faac4a2bf17440851c2ec7207a6a8ddcaa
tree85919f7407a2e4326f25282df4b49fdaac021084
parent6efca9ea5a64cd2440c9736c4db863e78d14b5c6
Small bugfixes in freduce pass
passes/sat/freduce.cc