| Index: utils/apidoc/html_diff.dart
|
| diff --git a/utils/apidoc/html_diff.dart b/utils/apidoc/html_diff.dart
|
| index 78388bc16835936908fe1dd8801a8fbb1cbd00b5..776ed1a37cb82c7133cdd4615260b2ba06023bab 100644
|
| --- a/utils/apidoc/html_diff.dart
|
| +++ b/utils/apidoc/html_diff.dart
|
| @@ -65,8 +65,6 @@ class HtmlDiff {
|
| /** A map from `dart:html` types to corresponding `@DomName` types. */
|
| final Map<String, Set<String>> htmlTypesToDom;
|
|
|
| - final CommentMap comments;
|
| -
|
| /** If true, then print warning messages. */
|
| final bool _printWarnings;
|
|
|
| @@ -90,8 +88,7 @@ class HtmlDiff {
|
| HtmlDiff({bool printWarnings: false}) :
|
| _printWarnings = printWarnings,
|
| htmlToDom = new Map<String, Set<String>>(),
|
| - htmlTypesToDom = new Map<String, Set<String>>(),
|
| - comments = new CommentMap();
|
| + htmlTypesToDom = new Map<String, Set<String>>();
|
|
|
| void warn(String s) {
|
| if (_printWarnings) {
|
|
|