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 } } } |}]