| Index: sdk/lib/convert/line_splitter.dart
|
| diff --git a/sdk/lib/convert/line_splitter.dart b/sdk/lib/convert/line_splitter.dart
|
| index b9023f4c8fb246bfa235ef8c9e20ffa8120ac9c1..a9c94488a6c366e35d8650785403ef71338aac88 100644
|
| --- a/sdk/lib/convert/line_splitter.dart
|
| +++ b/sdk/lib/convert/line_splitter.dart
|
| @@ -17,7 +17,8 @@ const int _CR = 13;
|
| *
|
| * The returned lines do not contain the line terminators.
|
| */
|
| -class LineSplitter extends Converter<String, List<String>> {
|
| +class LineSplitter extends
|
| + ChunkedConverter<String, List<String>, String, String> {
|
|
|
| const LineSplitter();
|
|
|
| @@ -79,9 +80,6 @@ class LineSplitter extends Converter<String, List<String>> {
|
| }
|
| return new _LineSplitterSink(sink);
|
| }
|
| -
|
| - // Override the base-class' bind, to provide a better type.
|
| - Stream<String> bind(Stream<String> stream) => super.bind(stream);
|
| }
|
|
|
| // TODO(floitsch): deal with utf8.
|
|
|