Remove name field from @BugPattern

PicnicSupermarket · Jun 19, 2023 · b019a44 · b019a44
1 parent 2d859ec
commit b019a44
Show file tree

Hide file tree

Showing 2 changed files with 0 additions and 2 deletions.
diff --git a/core/src/test/java/com/google/errorprone/refaster/UFreeIdentTest.java b/core/src/test/java/com/google/errorprone/refaster/UFreeIdentTest.java
@@ -62,7 +62,6 @@ public void binds() {
   }
 
   @BugPattern(
-      name = "UnificationChecker",
       summary = "Verify that unifying the expression results in the correct binding",
       explanation = "For test purposes only",
       severity = SUGGESTION)

diff --git a/core/src/test/java/com/google/errorprone/refaster/URepeatedTest.java b/core/src/test/java/com/google/errorprone/refaster/URepeatedTest.java
@@ -52,7 +52,6 @@ public void unifies() {
   }
 
   @BugPattern(
-      name = "UnificationChecker",
       summary = "Verify that unifying the expression results in the correct binding",
       explanation = "For test purposes only",
       severity = SUGGESTION)