From 344ef566045d6e7ef2ff00e0f893f42de474f3e6 Mon Sep 17 00:00:00 2001 From: Kathy Gray Date: Fri, 21 Nov 2008 13:21:26 +0000 Subject: [PATCH] Changing coverage default svn: r12562 --- collects/profj/tool.ss | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/collects/profj/tool.ss b/collects/profj/tool.ss index 88f34c72b3..0f436edd9c 100644 --- a/collects/profj/tool.ss +++ b/collects/profj/tool.ss @@ -506,7 +506,7 @@ ;default-settings: -> profj-settings (define/public (default-settings) (if (memq level `(beginner intermediate intermediate+access advanced)) - (make-profj-settings 'field #f #t #f #t #t null) + (make-profj-settings 'field #f #t #f #t #f null) (make-profj-settings 'type #f #t #t #f #f null))) ;default-settings? any -> bool (define/public (default-settings? s) (equal? s (default-settings)))