From 5a200da65abd92b9bb59ddef775a697850f9fbd6 Mon Sep 17 00:00:00 2001
From: Suzanne Millstein <smillst@cs.washington.edu>
Date: Wed, 1 Nov 2023 10:55:33 -0700
Subject: [PATCH] Fix link.

---
 docs/manual/optional-checker.tex | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/docs/manual/optional-checker.tex b/docs/manual/optional-checker.tex
index 367bff152bc..2215f13e5eb 100644
--- 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.