| Index: pkg/kernel/bin/dartk.dart
|
| diff --git a/pkg/kernel/bin/dartk.dart b/pkg/kernel/bin/dartk.dart
|
| index fa186b47aba9956db39e7cded334f522983a3aba..e2f474202e88fd55ae8b11c710b3d2dfdb903353 100755
|
| --- a/pkg/kernel/bin/dartk.dart
|
| +++ b/pkg/kernel/bin/dartk.dart
|
| @@ -262,7 +262,8 @@ Future<CompilerOutcome> batchMain(
|
| String format = options['format'] ?? defaultFormat();
|
| String outputFile = options['out'] ?? defaultOutput();
|
|
|
| - var customUriMappings = parseCustomUriMappings(options['url-mapping']);
|
| + List<String> urlMapping = options['url-mapping'] as List<String>;
|
| + var customUriMappings = parseCustomUriMappings(urlMapping);
|
| var repository = new Repository();
|
|
|
| Program program;
|
|
|