Don't link to a non-public member.

typetools · Nov 2, 2020 · dae84b3 · dae84b3
1 parent efc6569
commit dae84b3
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/framework/src/main/java/org/checkerframework/framework/type/GenericAnnotatedTypeFactory.java b/framework/src/main/java/org/checkerframework/framework/type/GenericAnnotatedTypeFactory.java
@@ -149,7 +149,7 @@ public abstract class GenericAnnotatedTypeFactory<
 
     /**
      * The Java types on which users may write this type system's type annotations. null means no
-     * restrictions. Arrays are handled by separate field {@link #arraysAreRelevant}.
+     * restrictions. Arrays are handled by separate field {@code #arraysAreRelevant}.
      */
     public @Nullable Set<TypeMirror> relevantJavaTypes;