fix: test files

2020-01-23 18:44:11 -05:00 · 2020-01-23 18:44:11 -05:00 · 95f951bdf2
commit 95f951bdf2
parent addbb8dd67
8 changed files with 0 additions and 9 deletions
--- 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)
-
--- a/tests/lean/binsearch.lean.expected.out
+++ b/tests/lean/binsearch.lean.expected.out
@ -19,4 +19,3 @@
 >> 17 ==> none
 >> 18 ==> none
 >> 19 ==> none
-
--- 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
-
--- a/tests/lean/ctor_layout.lean.expected.out
+++ b/tests/lean/ctor_layout.lean.expected.out
@ -10,4 +10,3 @@ obj@1
 ---
 obj@0
 ◾
-
--- 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
-
--- a/tests/lean/ref1.lean.expected.out
+++ b/tests/lean/ref1.lean.expected.out
@ -18,4 +18,3 @@
 [7]: 14
 [8]: 16
 [9]: 18
-
--- 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
-
--- 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]
-