| Index: runtime/bin/file_impl.dart
|
| diff --git a/runtime/bin/file_impl.dart b/runtime/bin/file_impl.dart
|
| index 9b14716e92e25aaa911e56e31784a39a9a4cf135..69add2dbbafc0d9dbf325fa0dde1839668100580 100644
|
| --- a/runtime/bin/file_impl.dart
|
| +++ b/runtime/bin/file_impl.dart
|
| @@ -60,7 +60,7 @@ class _FileInputStream extends _BaseDataInputStream implements InputStream {
|
| void _fillBuffer() {
|
| Expect.equals(_position, _data.length);
|
| if (_openedFile == null) return; // Called before the file is opened.
|
| - int size = Math.min(_bufferLength, _fileLength - _filePosition);
|
| + int size = min(_bufferLength, _fileLength - _filePosition);
|
| if (size == 0) {
|
| _closeFile();
|
| return;
|
|
|