fix tuple clause

This commit is contained in:
microproofs 2023-07-28 20:23:32 -04:00 committed by Kasey
parent 49a0a91103
commit 1ee7492f1f
1 changed files with 2 additions and 2 deletions

View File

@ -3928,9 +3928,9 @@ impl<'a> CodeGenerator<'a> {
let tuple_types = tipo.get_inner_types();
if complex_clause {
let next_clause = arg_stack.pop().unwrap();
if complex_clause {
term = term
.lambda("__other_clauses_delayed")
.apply(next_clause.delay());