Fixed more complex undef cases in freduce
authorClifford Wolf <clifford@clifford.at>
Thu, 2 Jan 2014 22:40:20 +0000 (23:40 +0100)
committerClifford Wolf <clifford@clifford.at>
Thu, 2 Jan 2014 22:40:20 +0000 (23:40 +0100)
commit536e20bde159db3ad8c77aeb9001a8dddde884a8
treebd79ea7c05d2450838134e5b0759f86462bd014c
parent5a0f561d9c6dd35e42a3ee0f0d5162ded6276f2b
Fixed more complex undef cases in freduce
passes/sat/freduce.cc