From e6400281f1d35a1b853487f990b25367bae7002d Mon Sep 17 00:00:00 2001
From: Mike Sperber <sperber@deinprogramm.de>
Date: Mon, 14 Sep 2009 12:05:05 +0000
Subject: [PATCH] Don't print #i prefix in Stepper for DMdA languages.

svn: r15999
---
 collects/deinprogramm/deinprogramm-langs.ss | 1 +
 1 file changed, 1 insertion(+)

diff --git a/collects/deinprogramm/deinprogramm-langs.ss b/collects/deinprogramm/deinprogramm-langs.ss
index c9de0aaa40..b1bcba5b1d 100644
--- a/collects/deinprogramm/deinprogramm-langs.ss
+++ b/collects/deinprogramm/deinprogramm-langs.ss
@@ -1086,6 +1086,7 @@
             (class* % (stepper-language<%>)
               (init-field stepper:supported)
               (define/override (stepper:supported?) stepper:supported)
+              (define/override (stepper:show-inexactness?) #f)
               (define/override (stepper:render-to-sexp val settings language-level)
                 (parameterize ([pc:current-print-convert-hook (make-print-convert-hook settings)])
                   (set-print-settings