From 14a793374cf35916f5c781bfe71d8c401da26b5f Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Hajdu=20=C3=81kos?= Date: Thu, 13 Aug 2020 14:37:01 +0200 Subject: [PATCH] Some more import removals --- .../hu/bme/mit/theta/analysis/expl/ExplStmtTransFunc.java | 1 - .../hu/bme/mit/theta/analysis/waitlist/WaitlistTest.java | 6 ++++-- 2 files changed, 4 insertions(+), 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 index ea402bd644..651376d96c 100644 --- 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 index f1ecbe4ca9..23a8054332 100644 --- 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 {