diff --git a/crates/aiken-lang/src/uplc.rs b/crates/aiken-lang/src/uplc.rs index 0d9f1a4b..fa1f97fb 100644 --- a/crates/aiken-lang/src/uplc.rs +++ b/crates/aiken-lang/src/uplc.rs @@ -778,6 +778,10 @@ impl<'a> CodeGenerator<'a> { } *clause_properties.needs_constr_var() = false; + pattern_vec.push(Air::Discard { + scope: scope.clone(), + }); + self.when_recursive_ir( pattern, pattern_vec,