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