From e2210ec4e04beb78289c37cbf9ee1ccee0d032db Mon Sep 17 00:00:00 2001 From: Sebastian Ullrich Date: Tue, 6 Jul 2021 17:27:11 +0200 Subject: [PATCH] chore: fix test --- tests/lean/unboxStruct.lean.expected.out | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/tests/lean/unboxStruct.lean.expected.out b/tests/lean/unboxStruct.lean.expected.out index feffd37563..8d0db228ff 100644 --- a/tests/lean/unboxStruct.lean.expected.out +++ b/tests/lean/unboxStruct.lean.expected.out @@ -7,4 +7,4 @@ def test2._boxed (x_1 : obj) (x_2 : obj) : obj := let x_3 : u32 := unbox x_1; dec x_1; let x_4 : obj := test2 x_3 x_2; - ret x_4 + ret x_4 \ No newline at end of file