diff --git a/collects/handin-server/checker.ss b/collects/handin-server/checker.ss index d184b803ec..9a2325cb74 100644 --- a/collects/handin-server/checker.ss +++ b/collects/handin-server/checker.ss @@ -1,4 +1,4 @@ -(module extra-utils mzscheme +(module checker mzscheme (require "utils.ss" (lib "file.ss") (lib "list.ss") (lib "class.ss") (lib "mred.ss" "mred"))