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"); |
+ } |
+} |