From e60b24c1a9a3ceb37bee3bae9e8b346259f5e7f4 Mon Sep 17 00:00:00 2001 From: Matthew Flatt Date: Sat, 9 Feb 2019 10:46:59 -0700 Subject: [PATCH] io: fix `(find-system-file 'pref-file)` Corrects a mistake in 5c775fa04c. --- racket/src/io/path/system.rkt | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/racket/src/io/path/system.rkt b/racket/src/io/path/system.rkt index a36cd57694..f44a8b12fe 100644 --- a/racket/src/io/path/system.rkt +++ b/racket/src/io/path/system.rkt @@ -36,7 +36,7 @@ [(temp-dir) (as-dir (rktio-system-path who RKTIO_PATH_TEMP_DIR))] [(sys-dir) (as-dir (rktio-system-path who RKTIO_PATH_SYS_DIR))] [(pref-dir) (as-dir (rktio-system-path who RKTIO_PATH_PREF_DIR))] - [(pref-file) (as-dir (rktio-system-path who RKTIO_PATH_PREF_FILE))] + [(pref-file) (rktio-system-path who RKTIO_PATH_PREF_FILE)] [(addon-dir) (as-dir (or addon-dir (rktio-system-path who RKTIO_PATH_ADDON_DIR)))] [(home-dir) (as-dir (rktio-system-path who RKTIO_PATH_HOME_DIR))]