| Index: pkg/dartdoc/utils.dart
|
| diff --git a/pkg/dartdoc/utils.dart b/pkg/dartdoc/utils.dart
|
| index 0bd4164fb558fa3026e1716d3b797a50d40ca132..0922e516bc6f606dbe41f03d6d43824df91b2f0b 100644
|
| --- a/pkg/dartdoc/utils.dart
|
| +++ b/pkg/dartdoc/utils.dart
|
| @@ -38,7 +38,7 @@ String repeat(String text, int count, [String separator]) {
|
| /** Removes up to [indentation] leading whitespace characters from [text]. */
|
| String unindent(String text, int indentation) {
|
| var start;
|
| - for (start = 0; start < Math.min(indentation, text.length); start++) {
|
| + for (start = 0; start < min(indentation, text.length); start++) {
|
| // Stop if we hit a non-whitespace character.
|
| if (text[start] != ' ') break;
|
| }
|
|
|