Fix type for text:line-numbers-mixin

original commit: 089e6387de18a1a2e139e491aacf5c54734d1b77
2014-09-16 16:35:51 -04:00 · 2014-09-16 16:35:51 -04:00 · cdd0b614dc
commit cdd0b614dc
parent dfc6abcb14
1 changed files with 3 additions and 1 deletions
--- 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<%>)))