From 9fa7ec966d932ce97b9a4a417055f947126c0738 Mon Sep 17 00:00:00 2001 From: Robby Findler Date: Mon, 14 May 2007 20:17:43 +0000 Subject: [PATCH] fixed PR 8670 svn: r6223 --- 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 d20c063d45..b1ab1f65c4 100644 --- a/collects/drscheme/private/tool-contracts.ss +++ b/collects/drscheme/private/tool-contracts.ss @@ -577,7 +577,7 @@ (drscheme:rep:get-drs-bindings-keymap (-> (is-a?/c keymap%)) () - "Returns a keymap that bindings various DrScheme-specific" + "Returns a keymap that binds various DrScheme-specific" "keybindings. This keymap is used in the definitions" "and interactions window." ""