diff --git a/collects/deinprogramm/contract/contract-test-display.ss b/collects/deinprogramm/contract/contract-test-display.ss index 35e707fb9e..0ef283fcfa 100644 --- a/collects/deinprogramm/contract/contract-test-display.ss +++ b/collects/deinprogramm/contract/contract-test-display.ss @@ -248,7 +248,8 @@ ;; make-error-link: text% check-fail exn src editor -> void (define (make-error-link text reason exn dest src-editor) (make-link text reason dest src-editor) - (let ((start (send text get-end-position))) + ;; the following code never worked + #;(let ((start (send text get-end-position))) (send text insert (string-constant test-engine-trace-error)) (send text insert " ") (when (and src-editor current-rep)