diff --git a/info.rkt b/info.rkt index 9a6d71c..c1fb9d6 100644 --- a/info.rkt +++ b/info.rkt @@ -1,7 +1,7 @@ #lang info (define collection 'multi) +(define setup-collects '("trivial")) (define compile-omit-paths '( - "compiled" "icfp-2016" "test" ))