diff --git a/collects/repos-time-stamp/stamp.ss b/collects/repos-time-stamp/stamp.ss index 8aab08c2e7..7341e33be3 100644 --- a/collects/repos-time-stamp/stamp.ss +++ b/collects/repos-time-stamp/stamp.ss @@ -4,7 +4,7 @@ (string-append "2mar2009 " (let ([s "$URL$"]) (substring - s 0 + s 6 (- (string-length s) (string-length - "collects/repos-time-stamp/stamp.ss")))))) + "collects/repos-time-stamp/stamp.ss $"))))))