From 579bf6ee3ceb027b2abbdaff9a3f35b460b47366 Mon Sep 17 00:00:00 2001 From: Matthew Flatt Date: Mon, 21 Jul 2003 14:19:32 +0000 Subject: [PATCH] . original commit: 1e3101fa18177255574a7c733fb4ce47fdc063df --- collects/framework/private/autosave.ss | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/collects/framework/private/autosave.ss b/collects/framework/private/autosave.ss index 54bd72e0..760f6ad7 100644 --- a/collects/framework/private/autosave.ss +++ b/collects/framework/private/autosave.ss @@ -33,13 +33,13 @@ (define autosave-toc-filename (build-path (find-system-path 'pref-dir) (case (system-type) - [(windows unix) ".plt-autosave-toc"] + [(unix) ".plt-autosave-toc"] [else "PLT-autosave-toc"]))) (define autosave-toc-save-filename (build-path (find-system-path 'pref-dir) (case (system-type) - [(windows unix) ".plt-autosave-toc-save"] + [(unix) ".plt-autosave-toc-save"] [else "PLT-autosave-toc-save"]))) (define autosave-timer%