From f07760bd020177f6b11ee9994b813cb6987eaf0b Mon Sep 17 00:00:00 2001 From: Robby Findler Date: Thu, 22 Sep 2011 09:09:26 -0500 Subject: [PATCH] adjust new string constant to more accurate --- collects/string-constants/private/english-string-constants.rkt | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/collects/string-constants/private/english-string-constants.rkt b/collects/string-constants/private/english-string-constants.rkt index 9d03f9bdc4..acbc65b792 100644 --- a/collects/string-constants/private/english-string-constants.rkt +++ b/collects/string-constants/private/english-string-constants.rkt @@ -225,7 +225,7 @@ please adhere to these guidelines: (jump-to-error "Jump to Error") (online-expansion-is-disabled "Online expansion is disabled") (online-expansion-pending "Online expansion pending ...") - (online-expansion-finished "Online expansion finished without errors") + (online-expansion-finished "Online expansion finished") ;; note: there may still be errors in this case ;; the online expansion preferences pane (online-expansion "Online expansion") ;; title of prefs pane