missed a hoist over

This commit is contained in:
microproofs 2024-02-03 20:12:36 -05:00 committed by Kasey
parent 6b97ab71fe
commit 3938d74bb6
1 changed files with 1 additions and 0 deletions

View File

@ -2690,6 +2690,7 @@ impl<'a> CodeGenerator<'a> {
AirTree::bool(constr_name == "True"),
bool(),
)
.hoist_over(then)
} else {
let (cond, assign) =
self.clause_pattern(pattern, subject_tipo, props, then);