From 193aac8a9696bf489a38be369c3525cadcb305af Mon Sep 17 00:00:00 2001 From: Matthew Flatt Date: Wed, 24 Aug 2005 15:39:07 +0000 Subject: [PATCH] remove default-settings?, because super method uses default-settings method svn: r644 --- collects/plai/plai-tool.ss | 3 --- 1 file changed, 3 deletions(-) diff --git a/collects/plai/plai-tool.ss b/collects/plai/plai-tool.ss index 77389cf548..aa4889d570 100644 --- a/collects/plai/plai-tool.ss +++ b/collects/plai/plai-tool.ss @@ -53,9 +53,6 @@ the default printing style shold be 'constructor instead of 'write (define/override (default-settings) (let ([s (super default-settings)]) (to-style s 'constructor))) - (define/override (default-settings? s) - (and (eq? (drscheme:language:simple-settings-printing-style s) 'constructor) - (super default-settings? (to-style s 'write)))) (define/private (to-style s v) (drscheme:language:make-simple-settings