From a04517452f2f57fbce73047ea10f27931165f915 Mon Sep 17 00:00:00 2001 From: Eli Barzilay Date: Thu, 3 Sep 2009 00:16:35 +0000 Subject: [PATCH] new require format svn: r15861 --- collects/handin-server/scribblings/checker.scrbl | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/collects/handin-server/scribblings/checker.scrbl b/collects/handin-server/scribblings/checker.scrbl index e2816a603e..24b086725d 100644 --- a/collects/handin-server/scribblings/checker.scrbl +++ b/collects/handin-server/scribblings/checker.scrbl @@ -15,7 +15,7 @@ that are intended for a more automated system. This module is a language module---a typical checker that uses it looks like this: @schemeblock[ - (module checker (lib "checker.ss" "handin-server") + (module checker handin-server/checker (check: :language '(special intermediate) :users pairs-or-singles-with-warning :coverage? #t