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; |
} |