Index: utils/archive/options.dart |
=================================================================== |
--- utils/archive/options.dart (revision 10860) |
+++ utils/archive/options.dart (working copy) |
@@ -27,7 +27,7 @@ |
/** The internal options map. */ |
final Map<String, ArchiveOption> _options; |
- ArchiveOptions() : _options = <ArchiveOption>{}; |
+ ArchiveOptions() : _options = <String, ArchiveOption>{}; |
/** Returns whether any options have been set. */ |
bool get isEmpty() => _options.isEmpty(); |