From de5643ade0840f2e40271451578b39e9193a2ef7 Mon Sep 17 00:00:00 2001 From: Matthew Flatt Date: Sat, 1 Nov 2008 13:21:57 +0000 Subject: [PATCH] change #planet to require spaces/tabs (any number) before planet path svn: r12212 --- collects/planet/lang/reader.ss | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/collects/planet/lang/reader.ss b/collects/planet/lang/reader.ss index 3b431349eb..ad73079c83 100644 --- a/collects/planet/lang/reader.ss +++ b/collects/planet/lang/reader.ss @@ -9,7 +9,7 @@ get-info) (define (planet-get in lang-mod export-sym src line col pos mk-fail-thunk) - (let ([spec (regexp-try-match #px"^\\s(.*?)(\\s|$)" in)] + (let ([spec (regexp-try-match #px"^[ \t]+(.*?)(\\s|$)" in)] [bad (lambda (str eof?) ((if eof? raise-read-eof-error