Don't track , ... contradictions through x/z-bits
authorClifford Wolf <clifford@clifford.at>
Fri, 25 Aug 2017 14:18:17 +0000 (16:18 +0200)
committerClifford Wolf <clifford@clifford.at>
Fri, 25 Aug 2017 14:18:17 +0000 (16:18 +0200)
commit68c42f3a19a300583fa282f3b88c440bf6afd484
treed318e1fc730947190bc4d1c1f31fe01823a21016
parentdb6d78a1865456076fccfb44d40fa9a4adecd23b
Don't track , ... contradictions through x/z-bits
passes/opt/opt_expr.cc