From fc765f70f9383ed8b4d26def83ce9e7491c22a3c Mon Sep 17 00:00:00 2001
From: Michael Ernst <mernst@cs.washington.edu>
Date: Sun, 1 Dec 2024 21:52:43 -0800
Subject: [PATCH] Fix typos: missing type in method signature

---
 .../java/org/checkerframework/checker/index/qual/IndexFor.java  | 2 +-
 docs/manual/index-checker.tex                                   | 2 +-
 2 files changed, 2 insertions(+), 2 deletions(-)

diff --git a/checker-qual/src/main/java/org/checkerframework/checker/index/qual/IndexFor.java b/checker-qual/src/main/java/org/checkerframework/checker/index/qual/IndexFor.java
index 4bfc213db19..7a8ba273313 100644
--- a/checker-qual/src/main/java/org/checkerframework/checker/index/qual/IndexFor.java
+++ b/checker-qual/src/main/java/org/checkerframework/checker/index/qual/IndexFor.java
@@ -19,7 +19,7 @@
  *
  * <pre>{@code
  * class String {
- *   char charAt(@IndexFor("this") index) { ... }
+ *   char charAt(@IndexFor("this") int index) { ... }
  * }
  * }</pre>
  *
diff --git a/docs/manual/index-checker.tex b/docs/manual/index-checker.tex
index ae6681b59d7..499b7377c65 100644
--- a/docs/manual/index-checker.tex
+++ b/docs/manual/index-checker.tex
@@ -124,7 +124,7 @@
 
   \begin{Verbatim}
   class String {
-    char charAt(@IndexFor("this") index) { ... }
+    char charAt(@IndexFor("this") int index) { ... }
   }
   \end{Verbatim}