added a void contract to fix setup

This commit is contained in:
Matthias Felleisen 2013-03-06 08:55:07 -05:00
parent e6dc9c28b4
commit 74c3c130f0

View File

@ -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?]{
}