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