warning fix

This commit is contained in:
microproofs 2024-08-07 14:51:02 -04:00 committed by Kasey
parent 0a1992acd2
commit 51fd503317
1 changed files with 1 additions and 1 deletions

View File

@ -625,7 +625,7 @@ impl<'a> CodeGenerator<'a> {
//
// if <expr:condition> is <pattern>: <annotation> { <expr:body> }
// [(builtin ifThenElse) (condition is pattern) (body) (else) ]
a @ TypedExpr::If {
TypedExpr::If {
branches,
final_else,
tipo,