import java.util.Collections

goblint · Jun 26, 2024 · e8d7775 · e8d7775
1 parent f1ece37
commit e8d7775
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
@@ -17,6 +17,7 @@
 import java.io.File;
 import java.io.IOException;
 import java.util.Arrays;
+import java.util.Collections;
 import java.util.concurrent.TimeoutException;
 
 import static gobpie.GobPieExceptionType.GOBLINT_EXCEPTION;