Add missing imports

hernanponcedeleon · Nov 14, 2023 · 53bdec7 · 53bdec7
1 parent 7d6b01f
commit 53bdec7
Showing 1 changed file with 2 additions and 0 deletions.
diff --git a/svcomp/src/main/java/com/dat3m/svcomp/SVCOMPRunner.java b/svcomp/src/main/java/com/dat3m/svcomp/SVCOMPRunner.java
@@ -19,6 +19,8 @@
 import java.util.List;
 import java.util.Set;
 import java.util.stream.Collectors;
+import org.apache.logging.log4j.LogManager;
+import org.apache.logging.log4j.Logger;
 
 import static com.dat3m.dartagnan.configuration.OptionInfo.collectOptions;
 import static com.dat3m.dartagnan.configuration.OptionNames.*;