diff --git a/pkgs/typed-racket-pkgs/typed-racket-lib/typed-racket/base-env/top-interaction.rkt b/pkgs/typed-racket-pkgs/typed-racket-lib/typed-racket/base-env/top-interaction.rkt
index 22b90460..69877be6 100644
--- a/pkgs/typed-racket-pkgs/typed-racket-lib/typed-racket/base-env/top-interaction.rkt
+++ b/pkgs/typed-racket-pkgs/typed-racket-lib/typed-racket/base-env/top-interaction.rkt
@@ -80,12 +80,11 @@
        (tc-toplevel/full stx #'e
          (λ (expanded type)
            #`(display
-              #,(parameterize ([print-multi-line-case-> #t])
-                  (pretty-format-type
-                   (match type
-                     [(tc-result1: t f o) t]
-                     [(tc-results: t) (-values t)]
-                     [(tc-any-results:) ManyUniv]))))))]
+              #,(pretty-format-type
+                 (match type
+                   [(tc-result1: t f o) t]
+                   [(tc-results: t) (-values t)]
+                   [(tc-any-results:) ManyUniv])))))]
       [form
        (raise-syntax-error #f "must be applied to exactly one argument" #'form)]))
 
diff --git a/pkgs/typed-racket-pkgs/typed-racket-lib/typed-racket/types/printer.rkt b/pkgs/typed-racket-pkgs/typed-racket-lib/typed-racket/types/printer.rkt
index 82d4b95b..8f985283 100644
--- a/pkgs/typed-racket-pkgs/typed-racket-lib/typed-racket/types/printer.rkt
+++ b/pkgs/typed-racket-pkgs/typed-racket-lib/typed-racket/types/printer.rkt
@@ -25,7 +25,7 @@
       #'(provide print-type print-filter print-object print-pathelem)))
 (provide-printer)
 
-(provide print-multi-line-case-> special-dots-printing? print-complex-filters?
+(provide special-dots-printing? print-complex-filters?
          current-print-type-fuel current-print-unexpanded
          pretty-format-type)
 
@@ -36,7 +36,6 @@
 ;; do we use simple type aliases in printing
 (define print-aliases #t)
 
-(define print-multi-line-case-> (make-parameter #f))
 (define special-dots-printing? (make-parameter #f))
 (define print-complex-filters? (make-parameter #f))