Index: pkg/compiler/tool/dart2js_profile_many.dart |
diff --git a/pkg/compiler/tool/dart2js_profile_many.dart b/pkg/compiler/tool/dart2js_profile_many.dart |
index fed5e21117551420e641f0ef6266face926c103e..9b3d1c279362bb506730e1719583dc3275311d1e 100644 |
--- a/pkg/compiler/tool/dart2js_profile_many.dart |
+++ b/pkg/compiler/tool/dart2js_profile_many.dart |
@@ -20,8 +20,8 @@ printUsage() { |
} |
void main(List<String> args) { |
- List options = []; |
- List files = []; |
+ var options = <String>[]; |
+ var files = <String>[]; |
for (String arg in args) { |
if (arg.startsWith('-')) { |