From aa496a73288318c0618fba23a84e1bb59c40aa2b Mon Sep 17 00:00:00 2001 From: Eli Barzilay Date: Fri, 18 Jul 2008 04:59:46 +0000 Subject: [PATCH] removed redundant mzlib/string require svn: r10828 --- collects/scribble/reader.ss | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/collects/scribble/reader.ss b/collects/scribble/reader.ss index a8c4d2dcd6..f98c492d1b 100644 --- a/collects/scribble/reader.ss +++ b/collects/scribble/reader.ss @@ -3,7 +3,7 @@ #lang scheme/base -(require mzlib/string syntax/readerr) +(require syntax/readerr) ;; ---------------------------------------------------------------------------- ;; utilities for syntax specifications below