fc53679
diff --git a/‎liquidjava/liquidjava-umbrella/liquidjava-verifier/src/main/java/liquidjava/processor/refinement_checker/VCChecker.java‎
Lines changed: 1 addition & 1 deletion b/‎liquidjava/liquidjava-umbrella/liquidjava-verifier/src/main/java/liquidjava/processor/refinement_checker/VCChecker.java‎
Lines changed: 1 addition & 1 deletion
@@ -276,7 +276,7 @@ public void removePathVariable(RefinedVariable rv) {
 
     void removePathVariableThatIncludes(String otherVar) {
         pathVariables.stream().filter(rv -> rv.getRefinement().getVariableNames().contains(otherVar))
-                .collect(Collectors.toList()).forEach(rv -> pathVariables.remove(rv));
+                .collect(Collectors.toList()).forEach(pathVariables::remove);
 
         // List<RefinedVariable> toRemove = new ArrayList<>();
         // for (RefinedVariable rv : pathVariables)