From 4a86f8b92f557021d650f5dbaf95cc7d1d9c502b Mon Sep 17 00:00:00 2001 From: Matthew Flatt Date: Fri, 19 Jan 2007 02:05:41 +0000 Subject: [PATCH] change reader path in magic svn: r5407 original commit: 943e9f1ae0b868110a04d0ac994a8dfe0d10c944 --- collects/mred/private/snipfile.ss | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/collects/mred/private/snipfile.ss b/collects/mred/private/snipfile.ss index db4e61ae..f18d620d 100644 --- a/collects/mred/private/snipfile.ss +++ b/collects/mred/private/snipfile.ss @@ -254,7 +254,7 @@ (let ([p (open-input-file filename)]) (port-count-lines! p) (let ([p (cond - [(regexp-match-peek #rx#"^(?:#reader(lib\"wxme[.]ss\"\"mred\"))?WXME01[0-9][0-9] ## " p) + [(regexp-match-peek #rx#"^(?:#reader(lib\"read[.]ss\"\"wxme\"))?WXME01[0-9][0-9] ##[ \r\n]" p) (let ([t (make-object text%)]) (send t insert-port p 'standard) (close-input-port p)