Merge branch 'master' into javadoc-fix

eisop · Jan 2, 2025 · df09584 · df09584
2 parents b72d862 + 730f9e8
commit df09584
Showing 1 changed file with 2 additions and 2 deletions.
diff --git a/docs/manual/map-key-checker.tex b/docs/manual/map-key-checker.tex
@@ -2,8 +2,8 @@
 \chapterAndLabel{Map Key Checker}{map-key-checker}
 
 The Map Key Checker tracks which values are keys for which maps.  If variable
-\code{v} has type \code{@KeyFor("m")...}, then the value of \code{v} is a key
-in Map \code{m}.  That is, the expression \code{m.containsKey(v)} evaluates to
+\code{k} has type \code{@KeyFor("m")...}, then the value of \code{k} is a key
+in Map \code{m}.  That is, the expression \code{m.containsKey(k)} evaluates to
 \code{true}.
 
 Section~\ref{map-key-qualifiers} describes how \code{@KeyFor} annotations