| Index: pkg/compiler/tool/track_memory.dart
|
| diff --git a/pkg/compiler/tool/track_memory.dart b/pkg/compiler/tool/track_memory.dart
|
| index 46891a46df291352c918c11dc3471648024bea82..0ba0e7c382d2b648a2b9bd6690f98f7b6fbfe23a 100644
|
| --- a/pkg/compiler/tool/track_memory.dart
|
| +++ b/pkg/compiler/tool/track_memory.dart
|
| @@ -151,8 +151,8 @@ _showProgress(newUsed, newCapacity, oldUsed, oldCapacity) {
|
| color: true);
|
|
|
| sb.write(' | ');
|
| - var maxUsed = max(lastMaxUsed, newUsed + oldUsed);
|
| - var maxCapacity = max(lastMaxCapacity, newCapacity + oldCapacity);
|
| + int maxUsed = max(lastMaxUsed, newUsed + oldUsed);
|
| + int maxCapacity = max(lastMaxCapacity, newCapacity + oldCapacity);
|
| _writeNumber(sb, lastMaxUsed, maxUsed);
|
| _writeNumber(sb, lastMaxCapacity, maxCapacity, color: true);
|
| stdout.write('$sb');
|
|
|