From 96d373e278d3e4c8f1ee3d9ace87d60e9f61f680 Mon Sep 17 00:00:00 2001 From: Eli Barzilay Date: Wed, 23 May 2012 15:37:54 -0400 Subject: [PATCH] Drop the now-redundant " " argument from existing uses of `string-join'. original commit: 6318df82e5f3b717c6e6c221b816232454fb9378 --- collects/typed-racket/types/printer.rkt | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/collects/typed-racket/types/printer.rkt b/collects/typed-racket/types/printer.rkt index 334eac1d..8e556d08 100644 --- a/collects/typed-racket/types/printer.rkt +++ b/collects/typed-racket/types/printer.rkt @@ -172,7 +172,7 @@ [(list a b ...) (format "(case-> ~a ~a)" (format-arr a) - (string-join (map format-arr b) " "))]))])) + (string-join (map format-arr b)))]))])) ;; print out a type ;; print-type : Type Port Boolean -> Void