From dae84b39d2e80c5cde356c8b2f73b801724df40d Mon Sep 17 00:00:00 2001
From: Suzanne Millstein <smillst@cs.washington.edu>
Date: Mon, 2 Nov 2020 13:09:07 -0800
Subject: [PATCH] Don't link to a non-public member.

---
 .../framework/type/GenericAnnotatedTypeFactory.java             | 2 +-
 1 file changed, 1 insertion(+), 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
index 24483930a99..66e6349e421 100644
--- 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;