Fix link.

typetools · Nov 1, 2023 · 5a200da · 5a200da
1 parent 5f0473d
commit 5a200da
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/docs/manual/optional-checker.tex b/docs/manual/optional-checker.tex
@@ -182,7 +182,7 @@
   an \<assert> message (see Section~\ref{assumeassertion}).
 \item
   Write a call to the
-  \refmethod{checker/optional/util}{OptionalUtil}{castPresent}{(T)} method.
+  \refmethod{checker/optional/util}{OptionalUtil}{castPresent}{(java.util.Optional)} method.
 \end{itemize}
 
 The rest of this section discusses the \<castPresent> method.