| Index: lib/src/arg_results.dart
|
| diff --git a/lib/src/arg_results.dart b/lib/src/arg_results.dart
|
| index de9cca7010f65f4bedfebf6da9180016beb7f1b9..15fb5bbc3c4f288e6df3288feb9387b232678447 100644
|
| --- a/lib/src/arg_results.dart
|
| +++ b/lib/src/arg_results.dart
|
| @@ -70,7 +70,7 @@ class ArgResults {
|
| /// This includes the options whose values were parsed or that have defaults.
|
| /// Options that weren't present and have no default will be omitted.
|
| Iterable<String> get options {
|
| - var result = new Set.from(_parsed.keys);
|
| + var result = new Set<String>.from(_parsed.keys);
|
|
|
| // Include the options that have defaults.
|
| _parser.options.forEach((name, option) {
|
|
|