[PEx] Minor cleanup

aman-goel · aman-goel · commit 1167ab0703ed · 2024-07-19T22:47:54.000Z
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
      *

Original file line number	Diff line number	Diff line change
`@@ -166,17 +166,6 @@ public static void logNewTasks(List<SearchTask> tasks) {`
`166`	`166`	`}`
`167`	`167`	`}`
`168`	`168`
`169`		`- /**`
`170`		`- * Log when serializing a schedule`
`171`		`- *`
`172`		`- * @param schedule Schedule to serialize`
`173`		`- * @param szBytes Bytes written`
`174`		`- */`
`175`		`- public static void logSerializeSchedule(Schedule schedule, String fileName, long szBytes) {`
`176`		`- if (verbosity > 1) {`
`177`		`- }`
`178`		`- }`
`179`		`-`
`180`	`169`	`/**`
`181`	`170`	`* Log when serializing a task`
`182`	`171`	`*`