diff --git a/mps/code/test.c b/mps/code/test.c
deleted file mode 100644
index b4eff710269..00000000000
--- a/mps/code/test.c
+++ /dev/null
@@ -1,2 +0,0 @@
-extern void hello(void);
-int main(void) { hello(); return 0; }