update aiken code gen test

This commit is contained in:
microproofs
2024-01-02 22:04:50 -05:00
committed by Kasey
parent aa51ce3e3e
commit 412945af3a
2 changed files with 2 additions and 2 deletions

View File

@@ -5542,7 +5542,7 @@ fn expect_none() {
.apply(Term::var(CONSTR_INDEX_EXPOSER).apply(Term::var("x")))
.delayed_if_then_else(
Term::bool(true),
Term::Error.delayed_trace(Term::string("Expected on incorrect Constr variant")),
Term::Error.delayed_trace(Term::string("expect None = x")),
)
.lambda("x")
.apply(Term::Constant(