diff --git a/macrotypes/info.rkt b/macrotypes/info.rkt
new file mode 100644
index 0000000..3bbd4cc
--- /dev/null
+++ b/macrotypes/info.rkt
@@ -0,0 +1,4 @@
+#lang info
+
+(define compile-omit-paths 
+  '("examples/tests"))
diff --git a/turnstile/info.rkt b/turnstile/info.rkt
index 634a654..24bbc73 100644
--- a/turnstile/info.rkt
+++ b/turnstile/info.rkt
@@ -5,7 +5,7 @@
 
 (define compile-omit-paths 
   '("examples/rosette"
-    "examples/tests/rosette"))
+    "examples/tests"))
 
 (define test-omit-paths
   '("examples/rosette"