diff --git a/collects/tests/typed-scheme/run.rkt b/collects/tests/typed-scheme/run.rkt index a9b16f90..2a0c53f6 100644 --- a/collects/tests/typed-scheme/run.rkt +++ b/collects/tests/typed-scheme/run.rkt @@ -30,7 +30,7 @@ (cond [(and (unit?) (int?)) tests] [(unit?) unit-tests] [(int?) int-tests] - [(the-tests) (the-tests)] + [(or (the-tests) (bench?) (opt?)) (the-tests)] [else (error "You must specify which tests should be run. See --help for more info.\n")]))