From 95f951bdf2701ad1d99eb0825f1a49be50ead49d Mon Sep 17 00:00:00 2001
From: Simon Hudon <simon.hudon@gmail.com>
Date: Thu, 23 Jan 2020 18:44:11 -0500
Subject: [PATCH] fix: test files

---
 tests/lean/abst.lean.expected.out        | 1 -
 tests/lean/binsearch.lean.expected.out   | 1 -
 tests/lean/bytearray.lean.expected.out   | 1 -
 tests/lean/ctor_layout.lean.expected.out | 1 -
 tests/lean/inst.lean.expected.out        | 1 -
 tests/lean/ref1.lean.expected.out        | 1 -
 tests/lean/stdio.lean.expected.out       | 2 --
 tests/lean/zipper.lean.expected.out      | 1 -
 8 files changed, 9 deletions(-)

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