diff --git a/tiny.c b/tiny.c
deleted file mode 100644
index 9015db569d..0000000000
--- a/tiny.c
+++ /dev/null
@@ -1,8 +0,0 @@
-/* comment, test #13 */
-
-#include <unistd.h>
-
-int main(void)
-{
-    _exit(42);
-}