Skip to content

Commit

Permalink
Try to fix 1285 (#1326)
Browse files Browse the repository at this point in the history
  • Loading branch information
johnynek authored Dec 18, 2024
1 parent d8611a2 commit d7dc408
Showing 1 changed file with 1 addition and 1 deletion.
Original file line number Diff line number Diff line change
Expand Up @@ -534,7 +534,7 @@ else:
else {
(t.simplify, f.simplify) match {
case (Code.Const.False | Code.Const.Zero, Code.Const.One | Code.Const.True) =>
val not = Code.Not(whoKnows)
val not = Code.Not(whoKnows).simplify
assert(tern == not)
case (ts, fs) =>
assert(tern == Code.Ternary(ts, whoKnows, fs))
Expand Down

0 comments on commit d7dc408

Please sign in to comment.