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'); |