Skip to content

Commit

Permalink
Remove name field from @BugPattern
Browse files Browse the repository at this point in the history
  • Loading branch information
rickie committed Jul 4, 2022
1 parent 5168ccb commit a1fd29b
Show file tree
Hide file tree
Showing 2 changed files with 0 additions and 2 deletions.
Expand Up @@ -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)
Expand Down
Expand Up @@ -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)
Expand Down

0 comments on commit a1fd29b

Please sign in to comment.