diff --git a/collects/tests/planet2/info.rkt b/collects/tests/planet2/info.rkt
deleted file mode 100644
index c47663c18b..0000000000
--- a/collects/tests/planet2/info.rkt
+++ /dev/null
@@ -1,3 +0,0 @@
-#lang setup/infotab
-
-(define compile-omit-paths '("test-pkgs"))