diff --git a/pkgs/typed-racket-pkgs/typed-racket-lib/typed-racket/base-env/base-env.rkt b/pkgs/typed-racket-pkgs/typed-racket-lib/typed-racket/base-env/base-env.rkt index cd20c428..c22ae6e0 100644 --- a/pkgs/typed-racket-pkgs/typed-racket-lib/typed-racket/base-env/base-env.rkt +++ b/pkgs/typed-racket-pkgs/typed-racket-lib/typed-racket/base-env/base-env.rkt @@ -2819,7 +2819,8 @@ [current-milliseconds (-> -Fixnum)] [current-inexact-milliseconds (-> -Real)] [current-gc-milliseconds (-> -Fixnum)] -[current-process-milliseconds (-> -Fixnum)] +[current-process-milliseconds + (->opt [(Un (-val #f) (-val 'subprocesses) -Thread)] -Fixnum)] ;; Section 15.7 [getenv (-> -String (Un -String (-val #f)))]