Put back a small change from the previously reverted commit.

typetools · Sep 27, 2023 · 7ace7d7 · 7ace7d7
1 parent 69548e8
commit 7ace7d7
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/dataflow/src/main/java/org/checkerframework/dataflow/cfg/builder/CFGTranslationPhaseOne.java b/dataflow/src/main/java/org/checkerframework/dataflow/cfg/builder/CFGTranslationPhaseOne.java
@@ -620,7 +620,7 @@ public Node visitBindingPattern17(Tree bindingPatternTree, Void p) {
    * Visit a DeconstructionPatternTree.
    *
    * @param deconstructionPatternTree a DeconstructionPatternTree, typed as Tree so the Checker
-   *     Framework compiles under JDK &lt; 21
+   *     Framework compiles under JDK 20 and earlier
    * @param p an unused parameter
    * @return the result of visiting the tree
    */