From 74c3c130f061b6a84e388c119f055ba9f931bf23 Mon Sep 17 00:00:00 2001
From: Matthias Felleisen <matthias@ccs.neu.edu>
Date: Wed, 6 Mar 2013 08:55:07 -0500
Subject: [PATCH] added a void contract to fix setup

---
 collects/scribblings/tools/tools.scrbl | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/collects/scribblings/tools/tools.scrbl b/collects/scribblings/tools/tools.scrbl
index 6d07edf848..e67d28bef6 100644
--- a/collects/scribblings/tools/tools.scrbl
+++ b/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?]{
      
   }