From 3f0704dcacbb6b6e8d93e88f3687fa493c0ddfcb Mon Sep 17 00:00:00 2001 From: Asumu Takikawa Date: Tue, 21 May 2013 18:34:05 -0400 Subject: [PATCH] Fix alarm-evt doc typo --- collects/scribblings/reference/evts.scrbl | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/collects/scribblings/reference/evts.scrbl b/collects/scribblings/reference/evts.scrbl index 87bd36aab0..c612ed52a5 100644 --- a/collects/scribblings/reference/evts.scrbl +++ b/collects/scribblings/reference/evts.scrbl @@ -197,7 +197,7 @@ with timeouts that have not yet expired. The system-idle event's @racket[system-idle-evt] procedure is always the same event.} -@defproc[(alarm-evt [msecs nonnegative-number?]) evt]{ +@defproc[(alarm-evt [msecs (>=/c 0)]) evt?]{ Returns a @tech{synchronizable event} that is not @tech{ready for synchronization} when @racket[(current-inexact-milliseconds)] would return a value that is