From 8b1380fbe12ca0ab24a920c7e846142a56b115ae Mon Sep 17 00:00:00 2001
From: Aosen Xiong <aosen.xiong@uwaterloo.ca>
Date: Fri, 16 Aug 2024 23:30:59 -0400
Subject: [PATCH] Fix java doc

---
 .../framework/type/AnnotatedTypeFactory.java                | 6 +++---
 1 file changed, 3 insertions(+), 3 deletions(-)

diff --git a/framework/src/main/java/org/checkerframework/framework/type/AnnotatedTypeFactory.java b/framework/src/main/java/org/checkerframework/framework/type/AnnotatedTypeFactory.java
index 266e440a7cc..f6777d18740 100644
--- a/framework/src/main/java/org/checkerframework/framework/type/AnnotatedTypeFactory.java
+++ b/framework/src/main/java/org/checkerframework/framework/type/AnnotatedTypeFactory.java
@@ -6032,13 +6032,13 @@ public boolean doesAnnotatedForApplyToThisChecker(AnnotationMirror annotatedForA
      * Does {@code anno}, which is an {@link org.checkerframework.framework.qual.UnannotatedFor}
      * annotation, apply to this checker?
      *
-     * @param annotatedForAnno an {@link UnannotatedFor} annotation
+     * @param unannotatedForAnno an {@link UnannotatedFor} annotation
      * @return whether {@code anno} applies to this checker
      */
-    public boolean doesUnannotatedForApplyToThisChecker(AnnotationMirror unannotatedFor) {
+    public boolean doesUnannotatedForApplyToThisChecker(AnnotationMirror unannotatedForAnno) {
         List<String> unannotatedForCheckers =
                 AnnotationUtils.getElementValueArray(
-                        unannotatedFor, unannotatedForValueElement, String.class);
+                        unannotatedForAnno, unannotatedForValueElement, String.class);
         for (String unannoForChecker : unannotatedForCheckers) {
             if (checker.getUpstreamCheckerNames().contains(unannoForChecker)
                     || CheckerMain.matchesFullyQualifiedProcessor(