From 3938d74bb63ba0f7d7371dfc7aabb43a362111cc Mon Sep 17 00:00:00 2001
From: microproofs <kwhitemsg@gmail.com>
Date: Sat, 3 Feb 2024 20:12:36 -0500
Subject: [PATCH] missed a hoist over

---
 crates/aiken-lang/src/gen_uplc.rs | 1 +
 1 file changed, 1 insertion(+)

diff --git a/crates/aiken-lang/src/gen_uplc.rs b/crates/aiken-lang/src/gen_uplc.rs
index d274d6d5..a5c31c2c 100644
--- a/crates/aiken-lang/src/gen_uplc.rs
+++ b/crates/aiken-lang/src/gen_uplc.rs
@@ -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);