From 2a3663921a3c733a7a360b982e0e89d2890e95c3 Mon Sep 17 00:00:00 2001
From: Michael Schmid <michael3.schmid@oth-regensburg.de>
Date: Fri, 22 Nov 2019 11:25:33 +0100
Subject: [PATCH] error in last commit

---
 src/main/java/mvd/jester/ResultCollector.java | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/main/java/mvd/jester/ResultCollector.java b/src/main/java/mvd/jester/ResultCollector.java
index c7672d8..6e36282 100644
--- a/src/main/java/mvd/jester/ResultCollector.java
+++ b/src/main/java/mvd/jester/ResultCollector.java
@@ -136,7 +136,7 @@ public class ResultCollector {
                         String.valueOf((double) kv / 10) + "\t" + totalNumberOfTasksets.get(kv);
                 for (Pair<T> pair : results.columnKeySet()) {
                     Set<SchedulingInfo> simulationInfos = results.get(kv, pair);
-                    List<Long> values =  ArrayList<>();
+                    List<Long> values = new ArrayList<>();
 
                     for (SchedulingInfo s : simulationInfos) {
                         for (TerminationInfo t : s.getTerminationInfos()) {
--
libgit2 0.26.0