Fix typos: missing type in method signature

typetools · Dec 2, 2024 · fc765f7 · fc765f7
1 parent 3b99338
commit fc765f7
Show file tree

Hide file tree

Showing 2 changed files with 2 additions and 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
@@ -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
@@ -124,7 +124,7 @@
 
   \begin{Verbatim}
   class String {
-    char charAt(@IndexFor("this") index) { ... }
+    char charAt(@IndexFor("this") int index) { ... }
   }
   \end{Verbatim}