diff --git a/collects/scribblings/reference/time.scrbl b/collects/scribblings/reference/time.scrbl index 09c0516439..0939c73081 100644 --- a/collects/scribblings/reference/time.scrbl +++ b/collects/scribblings/reference/time.scrbl @@ -89,10 +89,10 @@ time is a portion of the time reported by @defproc[(time-apply [proc procedure?] [arg any/c] ...) - (values exact-integer? + (values list? exact-integer? exact-integer? - list?)]{ + exact-integer?)]{ Collects timing information for a procedure application.