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