diff --git a/collects/mzlib/cmdline.ss b/collects/mzlib/cmdline.ss index 4489308..e961824 100644 --- a/collects/mzlib/cmdline.ss +++ b/collects/mzlib/cmdline.ss @@ -3,3 +3,5 @@ (require-library "cmdlineu.ss") (invoke-open-unit/sig mzlib:command-line@ #f) + +(require-library "cmdlinem.ss")