| Index: mojo/public/dart/src/codec.dart
|
| diff --git a/mojo/public/dart/src/codec.dart b/mojo/public/dart/src/codec.dart
|
| index 677dc10a7b33b1976f296db1939cc9f6c7faceb0..49c7c283717956846202eb962b0eba7ee4ded6a9 100644
|
| --- a/mojo/public/dart/src/codec.dart
|
| +++ b/mojo/public/dart/src/codec.dart
|
| @@ -697,7 +697,7 @@ class Decoder {
|
| ArrayDataHeader decodeDataHeaderForArray(int elementSize,
|
| int expectedLength) {
|
| var header = decodeArrayDataHeader();
|
| - var arrayByteCount =
|
| + var arrayByteCount =
|
| ArrayDataHeader.kHeaderSize + header.numElements * elementSize;
|
| if (header.size < arrayByteCount) {
|
| throw new MojoCodecError(
|
|
|