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