Discontinue use of deprecated method

typetools · May 3, 2024 · 3a75430 · 3a75430
1 parent ae7e557
commit 3a75430
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/framework/src/main/java/org/checkerframework/framework/flow/CFAbstractStore.java b/framework/src/main/java/org/checkerframework/framework/flow/CFAbstractStore.java
@@ -276,7 +276,7 @@ public void updateForMethodCall(
       arrayValues.clear();
 
       // update method values
-      methodCallExpressions.keySet().removeIf(e -> !e.isUnmodifiableByOtherCode());
+      methodCallExpressions.keySet().removeIf(MethodCall::isModifiableByOtherCode);
     }
 
     // store information about method call if possible