From acc36ba5fb59da750d57f12d0027f516334a5e1c Mon Sep 17 00:00:00 2001
From: unknown <ln3@njit.edu>
Date: Wed, 29 Nov 2023 20:39:42 -0500
Subject: [PATCH] clarify documents

---
 src/main/java/org/checkerframework/specimin/SpeciminRunner.java | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/main/java/org/checkerframework/specimin/SpeciminRunner.java b/src/main/java/org/checkerframework/specimin/SpeciminRunner.java
index 4c94fb43b..ce0a500d7 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<Path> updateSyntheticFiles(
       UnsolvedSymbolVisitor addMissingClass,