Fix extra delay in a test

This commit is contained in:
microproofs 2024-08-05 12:08:42 -04:00 committed by Kasey
parent f5c4e185d4
commit 4249ef2509
1 changed files with 1 additions and 2 deletions

View File

@ -4982,8 +4982,7 @@ fn expect_head3_no_tail() {
.apply( .apply(
Term::un_i_data() Term::un_i_data()
.apply(Term::head_list().apply(Term::var("tail_2"))), .apply(Term::head_list().apply(Term::var("tail_2"))),
) ),
.delay(),
) )
.lambda("tail_2") .lambda("tail_2")
.apply(Term::tail_list().apply(Term::var("tail_1"))) .apply(Term::tail_list().apply(Term::var("tail_1")))