add misssing param

njit-jerse · Nov 24, 2023 · ce9bb8f · ce9bb8f
1 parent 2ed6c09
commit ce9bb8f
Showing 1 changed file with 1 addition and 0 deletions.
diff --git a/src/main/java/org/checkerframework/specimin/MethodPrunerVisitor.java b/src/main/java/org/checkerframework/specimin/MethodPrunerVisitor.java
@@ -51,6 +51,7 @@ public class MethodPrunerVisitor extends ModifierVisitor<Void> {
    * @param methodsToKeep the set of methods whose bodies should be kept intact (usually the target
    *     methods for specimin)
    * @param methodsToEmpty the set of methods whose bodies should be removed
+   * @param classesUsedByTargetMethods the classes used by target methods
    */
   public MethodPrunerVisitor(
       Set<String> methodsToKeep,