io: fix (find-system-file 'pref-file)

Corrects a mistake in 5c775fa04c.
This commit is contained in:
Matthew Flatt 2019-02-09 10:46:59 -07:00
parent 44368147f2
commit e60b24c1a9

View File

@ -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))]