diff --git a/tests/lean/t8.lean b/tests/lean/t8.lean
deleted file mode 100644
index 5b962db504..0000000000
--- a/tests/lean/t8.lean
+++ /dev/null
@@ -1,9 +0,0 @@
-#setline 1000
-
-prit "ok"
-
-#setline 33
-fo
-print "ok"
-check
-print "done"
\ No newline at end of file
diff --git a/tests/lean/t8.lean.expected.out b/tests/lean/t8.lean.expected.out
deleted file mode 100644
index 67367b3b16..0000000000
--- a/tests/lean/t8.lean.expected.out
+++ /dev/null
@@ -1,5 +0,0 @@
-t8.lean:1002:0: error: command expected
-t8.lean:34:0: error: command expected
-ok
-t8.lean:37:0: error: invalid expression, unexpected token
-done