diff --git a/br/info.rkt b/br/info.rkt
index 76c4d7c..e0c94f2 100644
--- a/br/info.rkt
+++ b/br/info.rkt
@@ -1,3 +1 @@
 #lang info
-(define test-omit-paths '("ex"))
-(define compile-omit-paths '("ex"))
\ No newline at end of file