| Index: sdk/lib/io/input_stream.dart
|
| diff --git a/sdk/lib/io/input_stream.dart b/sdk/lib/io/input_stream.dart
|
| index a59f603f10318d5003f213d6b9a1ce233cb22349..66dd0b82a3f9804a4a108984b2a43a5fce51eef7 100644
|
| --- a/sdk/lib/io/input_stream.dart
|
| +++ b/sdk/lib/io/input_stream.dart
|
| @@ -103,6 +103,7 @@ class Encoding {
|
| static const Encoding UTF_8 = const Encoding._internal("UTF-8");
|
| static const Encoding ISO_8859_1 = const Encoding._internal("ISO-8859-1");
|
| static const Encoding ASCII = const Encoding._internal("ASCII");
|
| + static const Encoding SYSTEM = const Encoding._internal("SYSTEM");
|
| const Encoding._internal(String this.name);
|
| final String name;
|
| }
|
|
|