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