diff --git a/collects/drracket/tool-lib.rkt b/collects/drracket/tool-lib.rkt index cf121a8966..7f5ffcfbf8 100644 --- a/collects/drracket/tool-lib.rkt +++ b/collects/drracket/tool-lib.rkt @@ -906,7 +906,7 @@ all of the names in the tools library, for use defining keybindings (parameter-doc drracket:rep:after-expression - (parameter/c (or/c #f (-> void?))) + (parameter/c (or/c #f (-> any))) top-level-expression @{This parameter is used by @method[drracket:rep:text% evaluate-from-port]. When it is a thunk, then DrRacket invokes the thunk on the user's thread