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