| Index: pkg/dev_compiler/tool/input_sdk/patch/io_patch.dart
|
| diff --git a/pkg/dev_compiler/tool/input_sdk/patch/io_patch.dart b/pkg/dev_compiler/tool/input_sdk/patch/io_patch.dart
|
| index 1c6ba822c42df51a2c93e737eed30edbd28788b0..4a61e479889ae060ce922f3baa4e372159c17ede 100644
|
| --- a/pkg/dev_compiler/tool/input_sdk/patch/io_patch.dart
|
| +++ b/pkg/dev_compiler/tool/input_sdk/patch/io_patch.dart
|
| @@ -233,6 +233,11 @@ class _Platform {
|
| throw new UnsupportedError("Platform._operatingSystem");
|
| }
|
|
|
| + @patch
|
| + static _operatingSystemVersion() {
|
| + throw new UnsupportedError("Platform._operatingSystemVersion");
|
| + }
|
| +
|
| @patch
|
| static _localHostname() {
|
| throw new UnsupportedError("Platform._localHostname");
|
|
|