| 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('-')) {
|
|
|