From 51e04511a7199e16e865403b20ebde137d04997e Mon Sep 17 00:00:00 2001 From: Robby Findler Date: Wed, 10 Sep 2003 20:39:45 +0000 Subject: [PATCH] .. original commit: b14c4db63fe5b06c0c2ce28ef780528e4294c2bd --- collects/mrlib/name-message.ss | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/collects/mrlib/name-message.ss b/collects/mrlib/name-message.ss index 20035ce3..d8cc206c 100644 --- a/collects/mrlib/name-message.ss +++ b/collects/mrlib/name-message.ss @@ -4,7 +4,7 @@ (lib "file.ss") (lib "list.ss") (lib "mred.ss" "mred") - (lib "contracts.ss")) + (lib "contract.ss")) (provide/contract (draw-button-label