Fix typo

typetools · Jun 25, 2024 · 936a6d0 · 936a6d0
1 parent 4b236c1
commit 936a6d0
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/checker/src/main/java/org/checkerframework/checker/nonempty/NonEmptyTransfer.java b/checker/src/main/java/org/checkerframework/checker/nonempty/NonEmptyTransfer.java
@@ -352,7 +352,7 @@ private JavaExpression getReceiverJE(Node node) {
 
   /**
    * If this is an invocation of a size-dependent method, return the value that the method returns
-   * ffor an empty container.
+   * for an empty container.
    *
    * @param n a node that might be an invocation of a size-dependent method
    * @return the value that the method returns ffor an empty container, or null