Fixed sharing of reduce operator
authorClifford Wolf <clifford@clifford.at>
Fri, 8 Aug 2014 12:24:09 +0000 (14:24 +0200)
committerClifford Wolf <clifford@clifford.at>
Fri, 8 Aug 2014 12:24:09 +0000 (14:24 +0200)
commitcb6ca08a53bfaa1b76798e6220bb1b267d49b235
treeb1ffd2301e8ecc7d285d91fa3eb5be1a68c9d6ba
parent7c94024fc32778cb6c789fc46a7bfbbcc7109e89
Fixed sharing of reduce operator
passes/sat/share.cc