Chromium Code Reviews| Index: pkg/args/lib/args.dart |
| diff --git a/pkg/args/lib/args.dart b/pkg/args/lib/args.dart |
| index be90fb5ef9f13c4233a9cf42f9abeeec5990ba35..ee926d5892bb797ed533fdadadf50703e9d03527 100644 |
| --- a/pkg/args/lib/args.dart |
| +++ b/pkg/args/lib/args.dart |
| @@ -544,7 +544,7 @@ class ArgResults { |
| } |
| /** Get the names of the options as a [Collection]. */ |
| - Collection<String> get options => _options.keys; |
| + Collection<String> get options => _options.keys.toList(); |
| } |
| class _Option { |