Merge branch 'master' into master

goblint · Jun 26, 2024 · 986be03 · 986be03
2 parents 42324c1 + e8d7775
commit 986be03
Showing 1 changed file with 1 addition and 0 deletions.
diff --git a/src/main/java/goblintserver/GoblintServer.java b/src/main/java/goblintserver/GoblintServer.java
@@ -18,6 +18,7 @@
 import java.io.IOException;
 import java.util.Arrays;
 import java.util.List;
+import java.util.Collections;
 import java.util.concurrent.TimeoutException;
 
 import static gobpie.GobPieExceptionType.GOBLINT_EXCEPTION;