From d5f3d8e44023b6d9b14f1fbc6fdf3defc9cb5bbd Mon Sep 17 00:00:00 2001 From: Eli Barzilay Date: Tue, 19 Feb 2008 12:39:23 +0000 Subject: [PATCH] leftover svn: r8721 --- collects/handin-server/utils.ss | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/collects/handin-server/utils.ss b/collects/handin-server/utils.ss index ed6a5fd206..a1ad740dfe 100644 --- a/collects/handin-server/utils.ss +++ b/collects/handin-server/utils.ss @@ -5,7 +5,7 @@ (lib "posn.ss" "lang") (prefix pc: (lib "pconvert.ss")) (lib "pretty.ss") - (only "handin-server.ss" timeout-control) + (only "main.ss" timeout-control) "private/run-status.ss" "private/config.ss" "private/logger.ss"