Some more import removals

ftsrg · Aug 13, 2020 · 14a7933 · 14a7933
1 parent b76c1b3
commit 14a7933
Show file tree

Hide file tree

Showing 2 changed files with 4 additions and 3 deletions.
diff --git a/subprojects/analysis/src/main/java/hu/bme/mit/theta/analysis/expl/ExplStmtTransFunc.java b/subprojects/analysis/src/main/java/hu/bme/mit/theta/analysis/expl/ExplStmtTransFunc.java
@@ -21,7 +21,6 @@
 import static java.util.Collections.singleton;
 
 import java.util.Collection;
-import java.util.Collections;
 import java.util.List;
 
 import hu.bme.mit.theta.analysis.TransFunc;

diff --git a/subprojects/analysis/src/test/java/hu/bme/mit/theta/analysis/waitlist/WaitlistTest.java b/subprojects/analysis/src/test/java/hu/bme/mit/theta/analysis/waitlist/WaitlistTest.java
@@ -17,10 +17,12 @@
 
 import java.util.NoSuchElementException;
 
-import org.junit.Assert;
 import org.junit.Test;
 
-import static org.junit.Assert.*;
+import static junit.framework.TestCase.assertTrue;
+import static org.junit.Assert.assertEquals;
+import static org.junit.Assert.assertFalse;
+
 
 public class WaitlistTest {