| Index: lib/dartdoc/utils.dart
|
| diff --git a/lib/dartdoc/utils.dart b/lib/dartdoc/utils.dart
|
| index 9e0400826f635e3f07ae238f0a495116c269e363..21eba28cfb1314fed83eddd3708dc77b3dfa541a 100644
|
| --- a/lib/dartdoc/utils.dart
|
| +++ b/lib/dartdoc/utils.dart
|
| @@ -47,7 +47,7 @@ String unindent(String text, int indentation) {
|
| }
|
|
|
| /** Sorts the map by the key, doing a case-insensitive comparison. */
|
| -List<Mirror> orderByName(List<Mirror> list) {
|
| +List<Mirror> orderByName(Collection<Mirror> list) {
|
| final elements = new List<Mirror>.from(list);
|
| elements.sort((a,b) {
|
| String aName = a.simpleName();
|
|
|