[typetools/checker-framework] 32ef09: Remove EnsuresCalledMethodsVarArgs.java

[Suzanne Millstein]

Branch: refs/heads/master
Home: https://github.com/typetools/checker-framework
Commit: 32ef0932aaaa9ffa76c0fe69b30c14574bf04b06
https://github.com/typetools/checker-framework/commit/32ef0932aaaa9ffa76c0fe69b30c14574bf04b06
Author: Suzanne Millstein <smi...@cs.washington.edu>
Date: 2024-07-18 (Thu, 18 Jul 2024)

Changed paths:
R checker-qual/src/main/java/org/checkerframework/checker/calledmethods/qual/EnsuresCalledMethodsVarArgs.java
A checker-qual/src/main/java/org/checkerframework/checker/calledmethods/qual/EnsuresCalledMethodsVarargs.java.tmp
M checker/src/main/java/org/checkerframework/checker/calledmethods/CalledMethodsAnnotatedTypeFactory.java
M checker/src/main/java/org/checkerframework/checker/calledmethods/CalledMethodsTransfer.java
M checker/src/main/java/org/checkerframework/checker/calledmethods/CalledMethodsVisitor.java
M docs/CHANGELOG.md

Log Message:
-----------
Remove EnsuresCalledMethodsVarArgs.java



To unsubscribe from these emails, change your notification settings at https://github.com/typetools/checker-framework/settings/notifications