From 6b8b0b16b93ce1a3d37bc68eefc86bbd867a130c Mon Sep 17 00:00:00 2001 From: Eli Barzilay Date: Mon, 8 Nov 2010 14:39:44 -0500 Subject: [PATCH] Fix for matrix snips --- collects/handin-server/checker.rkt | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) diff --git a/collects/handin-server/checker.rkt b/collects/handin-server/checker.rkt index a0265e98d7..a2039b3349 100644 --- a/collects/handin-server/checker.rkt +++ b/collects/handin-server/checker.rkt @@ -93,7 +93,8 @@ ;; * snip->text is used earlier in the process, where comment-box text is still ;; available -(require framework) ; for drracket snips, used below +(require framework ; for drracket snips, used below + mrlib/matrix-snip) ; avoid errors from files with matrix snips ;; input-port->text-input-port : input-port (any -> any) -> input-port ;; the `filter' function is applied to special values; the filter result is