diff --git a/collects/web-server/managers/manager.ss b/collects/web-server/managers/manager.ss index 233ef08f9d..cc1cb76ee5 100644 --- a/collects/web-server/managers/manager.ss +++ b/collects/web-server/managers/manager.ss @@ -12,7 +12,7 @@ (define-struct (exn:fail:servlet-manager:no-continuation exn:fail) (expiration-handler)) (provide/contract - [struct manager ([create-instance ((any/c . -> . void) . -> . number?)] + [struct manager ([create-instance ((-> void) . -> . number?)] [adjust-timeout! (number? number? . -> . void)] [clear-continuations! (number? . -> . void)] [continuation-store! (number? any/c expiration-handler? . -> . (list/c number? number?))]