diff --git a/collects/mztake/mztake-lang.ss b/collects/mztake/mztake-lang.ss index 1e45368333..548c35bb88 100644 --- a/collects/mztake/mztake-lang.ss +++ b/collects/mztake/mztake-lang.ss @@ -79,7 +79,7 @@ (define/public (get-module) '(lib "mztake-syntax.ss" "mztake")) (define/public (get-one-line-summary) - (format "MzTake Debugger (~a)" mztake-version)) + (format "MzTake Debugger")) (define/public (get-language-url) #f) (define/public (get-reader) (lambda (name port offsets)