Index: utils/pub/pub.dart |
diff --git a/utils/pub/pub.dart b/utils/pub/pub.dart |
index 7ab4b53a5397f9d3c81454af9f8b5794ee459a4b..284c8ccafb245d3a6de82796d4fe7275c3f8fe0a 100644 |
--- a/utils/pub/pub.dart |
+++ b/utils/pub/pub.dart |
@@ -9,6 +9,7 @@ |
#import('../../pkg/args/args.dart'); |
#import('dart:io'); |
+#import('dart:math'); |
#import('io.dart'); |
#import('command_help.dart'); |
#import('command_install.dart'); |
@@ -121,7 +122,7 @@ void printUsage([String description = 'Pub is a package manager for Dart.']) { |
int length = 0; |
var names = <String>[]; |
for (var command in pubCommands.getKeys()) { |
- length = Math.max(length, command.length); |
+ length = max(length, command.length); |
names.add(command); |
} |