From de6afca5938bd016f93072d1e0e2edcac99b1414 Mon Sep 17 00:00:00 2001
From: Robby Findler <robby@racket-lang.org>
Date: Tue, 20 Jun 2006 03:18:46 +0000
Subject: [PATCH] another docs fix

svn: r3419
---
 collects/drscheme/private/tool-contracts.ss | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/collects/drscheme/private/tool-contracts.ss b/collects/drscheme/private/tool-contracts.ss
index 58e73a2365..d8aa2363ab 100644
--- a/collects/drscheme/private/tool-contracts.ss
+++ b/collects/drscheme/private/tool-contracts.ss
@@ -1267,7 +1267,7 @@
     fraction-style
     show-sharing
     insert-newlines
-    debugging)
+    annotations)
    
    "Constructs a simple settings.")