diff --git a/collects/typed-scheme/typecheck/tc-metafunctions.ss b/collects/typed-scheme/typecheck/tc-metafunctions.ss index 5382d22c96..4081a3ad8d 100644 --- a/collects/typed-scheme/typecheck/tc-metafunctions.ss +++ b/collects/typed-scheme/typecheck/tc-metafunctions.ss @@ -44,7 +44,7 @@ [_ null])) (define/contract (apply-filter lfs t o) - (-> LFilterSet? Type/c Object?) + (-> LFilterSet? Type/c Object? FilterSet?) (match lfs [(LFilterSet: lf+ lf-) (combine