From 39210b51aff1e859c2069fd8d0f94524edd940cb Mon Sep 17 00:00:00 2001 From: Ryan Culpepper Date: Tue, 13 Nov 2007 19:03:35 +0000 Subject: [PATCH] fixed formatting exn in drscheme tool manager svn: r7712 --- collects/drscheme/private/tools.ss | 10 ++++++---- 1 file changed, 6 insertions(+), 4 deletions(-) diff --git a/collects/drscheme/private/tools.ss b/collects/drscheme/private/tools.ss index d41cba1e09..14d73b13fb 100644 --- a/collects/drscheme/private/tools.ss +++ b/collects/drscheme/private/tools.ss @@ -178,10 +178,12 @@ [rest-parts (cdr parts)]) (case (car key) ((lib) - `(lib ,(substring (append string-append - (map (lambda (s) - (string-append "/" s)) - (append (cdr key) rest-parts (list file))))))) + `(lib ,(string-append + (apply string-append + (map (lambda (s) + (string-append s "/")) + (append (cdr key) rest-parts))) + file))) ((planet) `(planet ,file (,@(cdr key) ,maj ,min) ,@rest-parts)))))