From e820f3512edd86eee070d17ff91db2d3a1247a85 Mon Sep 17 00:00:00 2001 From: Robby Findler Date: Fri, 23 Aug 2002 21:49:16 +0000 Subject: [PATCH] .. original commit: 70a921903c421a68a81e5be5050d798937103acf --- collects/framework/private/comment-box.ss | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) diff --git a/collects/framework/private/comment-box.ss b/collects/framework/private/comment-box.ss index 83da01b4..82c1a747 100644 --- a/collects/framework/private/comment-box.ss +++ b/collects/framework/private/comment-box.ss @@ -1,7 +1,8 @@ (module comment-box mzscheme (require (lib "class.ss") - (lib "mred.ss" "mred") + (lib "etc.ss") + (lib "mred.ss" "mred") (lib "unitsig.ss") "sig.ss" "../decorated-editor-snip.ss"