| Index: sdk/lib/_internal/compiler/js_lib/io_patch.dart
|
| diff --git a/sdk/lib/_internal/compiler/js_lib/io_patch.dart b/sdk/lib/_internal/compiler/js_lib/io_patch.dart
|
| index 97dae37f80324763178b5691594d56a8a09b1e9f..c2c218a05442e76fd61515c59255c546be4d8619 100644
|
| --- a/sdk/lib/_internal/compiler/js_lib/io_patch.dart
|
| +++ b/sdk/lib/_internal/compiler/js_lib/io_patch.dart
|
| @@ -184,6 +184,10 @@ class _RandomAccessFile {
|
| static _flush(int id) {
|
| throw new UnsupportedError("RandomAccessFile._flush");
|
| }
|
| + @patch
|
| + static _lock(int id, int lock, int start, int end) {
|
| + throw new UnsupportedError("RandomAccessFile._lock");
|
| + }
|
| }
|
|
|
| @patch
|
|
|