From 9b4e881827bb418e838ae7be03264f80c83ecd1c Mon Sep 17 00:00:00 2001 From: Tom Jack Date: Sat, 4 Jul 2020 23:16:42 -0500 Subject: [PATCH] fix expect test --- src/bin/expect_tests/code_insertion.ml | 6 ++++-- 1 file changed, 4 insertions(+), 2 deletions(-) diff --git a/src/bin/expect_tests/code_insertion.ml b/src/bin/expect_tests/code_insertion.ml index 78a27def7..fa07169bb 100644 --- a/src/bin/expect_tests/code_insertion.ml +++ b/src/bin/expect_tests/code_insertion.ml @@ -51,9 +51,11 @@ let%expect_test _ = { parameter nat ; storage nat ; code { DUP ; - LAMBDA (pair nat nat) nat { { { DUP ; CDR ; SWAP ; CAR } } ; ADD } ; + DUP ; + CDR ; SWAP ; - EXEC ; + CAR ; + ADD ; NIL operation ; PAIR ; DIP { DROP } } } |}]