[racket-dev] Fwd: [plt] Push #26418: master branch updated

This morning build failed like this: 

tools.scrbl:782:65: defproc: expected a result contract, found a string
  in: "\n"

So I added a void? contract for the range. 


Begin forwarded message:

> From: matthias at racket-lang.org
> Subject: [plt] Push #26418: master branch updated
> Date: March 6, 2013 8:55:23 AM EST
> To: dev at racket-lang.org
> 
> matthias has updated `master' from e6dc9c28b4 to 74c3c130f0.
>  http://git.racket-lang.org/plt/e6dc9c28b4..74c3c130f0
> 
> =====[ One Commit ]=====================================================
> Directory summary:
> 100.0% collects/scribblings/tools/
> 
> ~~~~~~~~~~
> 
> 74c3c13 Matthias Felleisen <matthias at racket-lang.org> 2013-03-06 08:55
> :
> | added a void contract to fix setup
> :
>  M collects/scribblings/tools/tools.scrbl | 2 +-
> 
> =====[ Overall Diff ]===================================================
> 
> collects/scribblings/tools/tools.scrbl
> ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
> --- OLD/collects/scribblings/tools/tools.scrbl
> +++ NEW/collects/scribblings/tools/tools.scrbl
> @@ -779,7 +779,7 @@ Check Syntax is a part of the DrRacket collection, but is implemented via the to
>  @defmethod[(syncheck:add-definition-target [source-obj (not/c #f)]
>                                             [start exact-nonnegative-integer?]
>                                             [finish exact-nonnegative-integer?]
> -                                            [style-name any/c])]{
> +                                            [style-name any/c]) void?]{
> 
>   }
>