Index: sdk/lib/_internal/dartdoc/lib/src/dartdoc/utils.dart |
diff --git a/sdk/lib/_internal/dartdoc/lib/src/dartdoc/utils.dart b/sdk/lib/_internal/dartdoc/lib/src/dartdoc/utils.dart |
index cb52f96d6c5bb1d68f55d444754f2a465f509c26..79a9aa64dfcaba0a2e6569477854b6bd132accc1 100644 |
--- a/sdk/lib/_internal/dartdoc/lib/src/dartdoc/utils.dart |
+++ b/sdk/lib/_internal/dartdoc/lib/src/dartdoc/utils.dart |
@@ -49,7 +49,7 @@ String unindent(String text, int indentation) { |
} |
/** Sorts the map by the key, doing a case-insensitive comparison. */ |
-List<Mirror> orderByName(Collection<Mirror> list) { |
+List<Mirror> orderByName(Iterable<Mirror> list) { |
final elements = new List<Mirror>.from(list); |
elements.sort((a,b) { |
String aName = a.simpleName.toLowerCase(); |