diff --git a/tests/lean/abst.lean.expected.out b/tests/lean/abst.lean.expected.out
index 06a72efe73..84756838a5 100644
--- a/tests/lean/abst.lean.expected.out
+++ b/tests/lean/abst.lean.expected.out
@@ -5,3 +5,4 @@ f a (f b) (f a)
 f #0 a (f #0)
 f #0 y (f #0)
 f #1 #0 (f #1)
+
diff --git a/tests/lean/binsearch.lean.expected.out b/tests/lean/binsearch.lean.expected.out
index ad222b6164..88a08a43a2 100644
--- a/tests/lean/binsearch.lean.expected.out
+++ b/tests/lean/binsearch.lean.expected.out
@@ -19,3 +19,4 @@
 >> 17 ==> none
 >> 18 ==> none
 >> 19 ==> none
+
diff --git a/tests/lean/bytearray.lean.expected.out b/tests/lean/bytearray.lean.expected.out
index 3ddec03e87..5ea4bf803d 100644
--- a/tests/lean/bytearray.lean.expected.out
+++ b/tests/lean/bytearray.lean.expected.out
@@ -3,3 +3,4 @@
 [1, 20, 30, 4]
 [1, 20, 3, 4]
 4
+
diff --git a/tests/lean/ctor_layout.lean.expected.out b/tests/lean/ctor_layout.lean.expected.out
index 656e07b0c5..b012d10717 100644
--- a/tests/lean/ctor_layout.lean.expected.out
+++ b/tests/lean/ctor_layout.lean.expected.out
@@ -10,3 +10,4 @@ obj@1
 ---
 obj@0
 ◾
+
diff --git a/tests/lean/inst.lean.expected.out b/tests/lean/inst.lean.expected.out
index e3589f2ffd..a53d5be09c 100644
--- a/tests/lean/inst.lean.expected.out
+++ b/tests/lean/inst.lean.expected.out
@@ -5,3 +5,4 @@ f a (f b) a
 f (f b) a (f b)
 f a #0 a
 f a #0 a
+
diff --git a/tests/lean/ref1.lean.expected.out b/tests/lean/ref1.lean.expected.out
index d1e6c4677a..4d6709e8a1 100644
--- a/tests/lean/ref1.lean.expected.out
+++ b/tests/lean/ref1.lean.expected.out
@@ -18,3 +18,4 @@
 [7]: 14
 [8]: 16
 [9]: 18
+
diff --git a/tests/lean/stdio.lean.expected.out b/tests/lean/stdio.lean.expected.out
index a9b798dee7..7334bb1b47 100644
--- a/tests/lean/stdio.lean.expected.out
+++ b/tests/lean/stdio.lean.expected.out
@@ -1,4 +1,5 @@
 print stdout
+
 print stderr
 line 4
 
@@ -9,3 +10,4 @@ line 3
 
 > stdout2.txt
 line 2
+
diff --git a/tests/lean/zipper.lean.expected.out b/tests/lean/zipper.lean.expected.out
index d708ff3c73..1cf9304a2d 100644
--- a/tests/lean/zipper.lean.expected.out
+++ b/tests/lean/zipper.lean.expected.out
@@ -1 +1,2 @@
 [10, 0, 11, 13, 20, 0, 22, 0, 40, 0, 11]
+