stupid typo

svn: r11878
2008-09-25 20:41:39 +00:00 · 2008-09-25 20:41:39 +00:00 · e328ad4136
commit e328ad4136
parent fa86e9ee9f
1 changed files with 2 additions and 1 deletions
--- 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")])))]}