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