diff --git a/pkgs/typed-racket-pkgs/typed-racket-more/typed/private/framework-types.rkt b/pkgs/typed-racket-pkgs/typed-racket-more/typed/private/framework-types.rkt index 9fc9c842..4a0058c5 100644 --- a/pkgs/typed-racket-pkgs/typed-racket-more/typed/private/framework-types.rkt +++ b/pkgs/typed-racket-pkgs/typed-racket-more/typed/private/framework-types.rkt @@ -1698,4 +1698,6 @@ (All (r #:row) (Class #:row-var r #:implements Text%) -> - (Class #:row-var r #:implements Text:Line-Numbers<%>))) + (Class #:row-var r + #:implements Text% + #:implements Text:Line-Numbers<%>)))