[PEx] Minor cleanup

p-org · Jul 19, 2024 · 1167ab0 · 1167ab0
1 parent 8557942
commit 1167ab0
Showing 1 changed file with 0 additions and 11 deletions.
diff --git a/Src/PRuntimes/PExplicitRuntime/src/main/java/pexplicit/runtime/logger/PExplicitLogger.java b/Src/PRuntimes/PExplicitRuntime/src/main/java/pexplicit/runtime/logger/PExplicitLogger.java
@@ -166,17 +166,6 @@ public static void logNewTasks(List<SearchTask> tasks) {
         }
     }
 
-    /**
-     * Log when serializing a schedule
-     *
-     * @param schedule Schedule to serialize
-     * @param szBytes  Bytes written
-     */
-    public static void logSerializeSchedule(Schedule schedule, String fileName, long szBytes) {
-        if (verbosity > 1) {
-        }
-    }
-
     /**
      * Log when serializing a task
      *