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