diff --git a/info.rkt b/info.rkt
deleted file mode 100644
index c1fb9d6..0000000
--- a/info.rkt
+++ /dev/null
@@ -1,7 +0,0 @@
-#lang info
-(define collection 'multi)
-(define setup-collects '("trivial"))
-(define compile-omit-paths '(
-  "icfp-2016"
-  "test"
-))