| Index: sdk/lib/_internal/compiler/implementation/tools/mini_parser.dart
|
| diff --git a/sdk/lib/_internal/compiler/implementation/tools/mini_parser.dart b/sdk/lib/_internal/compiler/implementation/tools/mini_parser.dart
|
| index 3b1b210c6f228b30131f0b933446c502364028b8..e56f82fa768c89a6f072a91afeeadf26af2f04fd 100644
|
| --- a/sdk/lib/_internal/compiler/implementation/tools/mini_parser.dart
|
| +++ b/sdk/lib/_internal/compiler/implementation/tools/mini_parser.dart
|
| @@ -164,7 +164,7 @@ List<int> read(String filename) {
|
| try {
|
| int size = file.lengthSync();
|
| List<int> bytes = new Uint8List(size + 1);
|
| - file.readListSync(bytes, 0, size);
|
| + file.readIntoSync(bytes, 0, size);
|
| bytes[size] = $EOF;
|
| threw = false;
|
| return bytes;
|
|
|