| Index: sdk/lib/convert/line_splitter.dart
|
| diff --git a/sdk/lib/convert/line_splitter.dart b/sdk/lib/convert/line_splitter.dart
|
| index 3ae958d8602c0974d320d0cbbf80a8c2a3a50d69..b5ec32bd6ee94bce6e248a2913cbf5c2e970991a 100644
|
| --- a/sdk/lib/convert/line_splitter.dart
|
| +++ b/sdk/lib/convert/line_splitter.dart
|
| @@ -58,6 +58,7 @@ 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);
|
| }
|
|
|
|
|