From 3a0861bca75f4ed4361830475d0345f1ed4395a6 Mon Sep 17 00:00:00 2001
From: Leonardo de Moura <leonardo@microsoft.com>
Date: Sat, 17 May 2014 10:42:10 -0700
Subject: [PATCH] test(lean): remove old test

Signed-off-by: Leonardo de Moura <leonardo@microsoft.com>
---
 tests/lean/script.lua | 4 ----
 1 file changed, 4 deletions(-)
 delete mode 100644 tests/lean/script.lua

diff --git a/tests/lean/script.lua b/tests/lean/script.lua
deleted file mode 100644
index 614fc0073..000000000
--- a/tests/lean/script.lua
+++ /dev/null
@@ -1,4 +0,0 @@
-
-
-print("hello")
-prn("world")
\ No newline at end of file