| Index: sdk/lib/_internal/compiler/implementation/lib/io_patch.dart
|
| diff --git a/sdk/lib/_internal/compiler/implementation/lib/io_patch.dart b/sdk/lib/_internal/compiler/implementation/lib/io_patch.dart
|
| index 37dc6b8e7e1876823f1bb56bfd63929fd43f64f5..e006fa508a48dba7ed9c240a08354aec7caae82f 100644
|
| --- a/sdk/lib/_internal/compiler/implementation/lib/io_patch.dart
|
| +++ b/sdk/lib/_internal/compiler/implementation/lib/io_patch.dart
|
| @@ -303,3 +303,9 @@ patch class _Filter {
|
| throw new UnsupportedError("newZLibInflateFilter");
|
| }
|
| }
|
| +
|
| +patch class _OptionsImpl {
|
| + patch String get version {
|
| + throw new UnsupportedError("_OptionsImpl.version");
|
| + }
|
| +}
|
|
|