From 8d9ca4c4eac398db2f406a6f5debae26035da6b6 Mon Sep 17 00:00:00 2001 From: Leonardo de Moura Date: Wed, 6 Aug 2014 19:40:02 -0700 Subject: [PATCH] fix(tests/lean): remove obsolete test Signed-off-by: Leonardo de Moura --- tests/lean/t8.lean | 9 --------- tests/lean/t8.lean.expected.out | 5 ----- 2 files changed, 14 deletions(-) delete mode 100644 tests/lean/t8.lean delete mode 100644 tests/lean/t8.lean.expected.out 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