diff --git a/collects/version/tool.ss b/collects/version/tool.ss index e42dff7d17..4f6bc12032 100644 --- a/collects/version/tool.ss +++ b/collects/version/tool.ss @@ -113,7 +113,8 @@ (make-object message% (string-constant version:connecting-server) this) - (make-object button% (string-constant abort) this + (make-object button% + (string-constant abort) this (lambda (b e) (kill-thread t) (send this show #f))