Remove duplicated field
Fixes: b/299236365
Change-Id: Ibf5d57e7a91ef79a10629dda53cfbe994d037c27
diff --git a/src/main/java/com/android/tools/r8/ir/desugar/desugaredlibrary/lint/GenerateHtmlDoc.java b/src/main/java/com/android/tools/r8/ir/desugar/desugaredlibrary/lint/GenerateHtmlDoc.java
index d1394058..0575e7b 100644
--- a/src/main/java/com/android/tools/r8/ir/desugar/desugaredlibrary/lint/GenerateHtmlDoc.java
+++ b/src/main/java/com/android/tools/r8/ir/desugar/desugaredlibrary/lint/GenerateHtmlDoc.java
@@ -62,11 +62,6 @@
StringBuilderWithIndent() {}
- StringBuilderWithIndent indent(String indent) {
- this.indent = indent;
- return this;
- }
-
StringBuilderWithIndent appendLineStart(String lineStart) {
builder.append(indent);
builder.append(lineStart);
@@ -293,17 +288,12 @@
private static class HTMLBuilder extends StringBuilderWithIndent {
- @SuppressWarnings("HidingField")
- private String indent = "";
-
private void increaseIndent() {
indent += " ";
- indent(indent);
}
private void decreaseIndent() {
indent = indent.substring(0, indent.length() - 2);
- indent(indent);
}
HTMLBuilder appendTdPackage(String s) {
