diff --git a/src/main/java/org/checkerframework/specimin/SpeciminRunner.java b/src/main/java/org/checkerframework/specimin/SpeciminRunner.java index 4c94fb43..ce0a500d 100644 --- a/src/main/java/org/checkerframework/specimin/SpeciminRunner.java +++ b/src/main/java/org/checkerframework/specimin/SpeciminRunner.java @@ -220,8 +220,8 @@ public static void performMinimization( * units * @param targetFiles a list of target files * @param root the root directory of the target files - * @return createdClass the path of synthetic files created * @throws IOException if there is a problem with parsing files + * @return createdClass the path of synthetic files created */ private static Set updateSyntheticFiles( UnsolvedSymbolVisitor addMissingClass,