diff --git a/info.rkt b/info.rkt index 94a40a5..53c9302 100644 --- a/info.rkt +++ b/info.rkt @@ -1,2 +1,2 @@ -#lang info +#lang setup/infotab (define collection 'multi)