diff --git a/collects/mzlib/file.ss b/collects/mzlib/file.ss index c626dd8ff8..bd52357d3a 100644 --- a/collects/mzlib/file.ss +++ b/collects/mzlib/file.ss @@ -391,10 +391,10 @@ ;; To write the file, copy the old one to a temporary name ;; (preserves permissions, etc), write to the temp file, ;; then move (atomicly) the temp file to the normal name. - (let* ([tmp-file (make-temporary-file - "TMPPREF~a" - (and (file-exists? pref-file) pref-file) - pref-dir)]) + (let ([tmp-file (make-temporary-file + "TMPPREF~a" + (and (file-exists? pref-file) pref-file) + pref-dir)]) ;; If something goes wrong, try to delete the temp file. (with-handlers ([exn:fail? (lambda (exn) (with-handlers ([exn:fail:filesystem? void])