fix exit:exit docs

closes PR 13944

original commit: e1d22e6b1fb1bea3653c198892fca6f41df50975
This commit is contained in:
Robby Findler 2013-08-05 01:00:22 -05:00
parent 992482244f
commit b9b21b26c6

View File

@ -474,7 +474,7 @@
@item{invokes @racket[exit:on-exit] and then}
@item{queues a callback that calls @racket[exit] (a racket procedure)
and (if @racket[exit] returns) sets the result of
@racket[exit:exiting?] back to @racket[#t].}]})
@racket[exit:exiting?] back to @racket[#f].}]})
(proc-doc/names
exit:user-oks-exit