From 49be64a3e3d46f75b2bb7b6a6083c95ef54287db Mon Sep 17 00:00:00 2001 From: Eli Barzilay Date: Sat, 15 May 2010 16:48:04 -0400 Subject: [PATCH] repos-time-stamp -> repo-time-stamp original commit: 3219d28e9de344378262288f10e92a6dafd97f09 --- collects/framework/private/frame.rkt | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/collects/framework/private/frame.rkt b/collects/framework/private/frame.rkt index 8b1ec3bf..f8d7ab4c 100644 --- a/collects/framework/private/frame.rkt +++ b/collects/framework/private/frame.rkt @@ -2412,7 +2412,7 @@ (define show-memory-text? (or (with-handlers ([exn:fail:filesystem? (λ (x) #f)]) - (directory-exists? (collection-path "repos-time-stamp"))) + (directory-exists? (collection-path "repo-time-stamp"))) (with-handlers ([exn:fail:filesystem? (λ (x) #f)]) (let ([fw (collection-path "framework")])