diff --git a/collects/mzlib/port.ss b/collects/mzlib/port.ss index 51ea75f..60a5107 100644 --- a/collects/mzlib/port.ss +++ b/collects/mzlib/port.ss @@ -1,7 +1,7 @@ #lang mzscheme (require mzlib/etc - mzlib/contract + scheme/contract mzlib/list "private/port.ss")