From d1e68f64737dce82ce4313bc8e23d68ee39d567f Mon Sep 17 00:00:00 2001 From: Robby Findler Date: Sun, 20 Oct 1996 22:30:49 +0000 Subject: [PATCH] fixed erroneous reference to top-level original commit: a0db67ff638d16ea2baecba03d6ffbae9be1ce99 --- collects/mred/prefs.ss | 4 +++- 1 file changed, 3 insertions(+), 1 deletion(-) diff --git a/collects/mred/prefs.ss b/collects/mred/prefs.ss index b0c37db6..6c485601 100644 --- a/collects/mred/prefs.ss +++ b/collects/mred/prefs.ss @@ -9,6 +9,7 @@ [mred:exit : mred:exit^] [mred:gui-utils : mred:gui-utils^] [mred:edit : mred:edit^] + [mzlib:pretty-print : mzlib:pretty-print^] [mzlib:function : mzlib:function^]) (mred:debug:printf 'invoke "mred:preferences@") @@ -153,7 +154,8 @@ (mred:debug:printf 'prefs "saving user preferences") (call-with-output-file preferences-filename (lambda (p) - (pretty-print (hash-table-map preferences marshall-pref) p)) + (mzlib:pretty-print:pretty-print + (hash-table-map preferences marshall-pref) p)) 'replace) (mred:debug:printf 'prefs "saved user preferences"))))