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 e4c61258..c4c63ec9 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 @@ -315,7 +315,7 @@ [always-evt (-mu x (make-Evt x))] [never-evt (make-Evt (Un))] [system-idle-evt (-> (make-Evt -Void))] -[alarm-evt (-> -NonNegReal (-mu x (make-Evt x)))] +[alarm-evt (-> -Real (-mu x (make-Evt x)))] [handle-evt? (make-pred-ty (make-Evt Univ))] [current-evt-pseudo-random-generator (-Param -Pseudo-Random-Generator -Pseudo-Random-Generator)]