From e328ad41369303badae6592f9c9269e300ec7e23 Mon Sep 17 00:00:00 2001 From: Eli Barzilay Date: Thu, 25 Sep 2008 20:41:39 +0000 Subject: [PATCH] stupid typo svn: r11878 --- collects/handin-server/scribblings/checker.scrbl | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) diff --git a/collects/handin-server/scribblings/checker.scrbl b/collects/handin-server/scribblings/checker.scrbl index ca770bc243..b455d22c29 100644 --- a/collects/handin-server/scribblings/checker.scrbl +++ b/collects/handin-server/scribblings/checker.scrbl @@ -382,7 +382,8 @@ code.} (lambda (where) (case (message (string-append "Incomplete coverage at "where", do you want" - " to save this submission with 10% penalty?")) + " to save this submission with 10% penalty?") + '(yes-no)) [(yes) (add-header-line! "No full coverage <*90%>") (message "Handin saved with penalty.")] [else (error "aborting submission")])))]}