diff --git a/test/unify/RuleSetTest.java b/test/unify/RuleSetTest.java index b44e62ce4..f9cdce8cc 100644 --- a/test/unify/RuleSetTest.java +++ b/test/unify/RuleSetTest.java @@ -1,7 +1,6 @@ package unify; -import java.util.HashSet; import java.util.Optional; import java.util.Set; @@ -12,7 +11,6 @@ import org.junit.Test; import de.dhbwstuttgart.typeinference.unify.interfaces.IRuleSet; import de.dhbwstuttgart.typeinference.unifynew.RuleSet; import de.dhbwstuttgart.typinference.unify.model.ExtendsType; -import de.dhbwstuttgart.typinference.unify.model.FiniteClosure; import de.dhbwstuttgart.typinference.unify.model.MPair; import de.dhbwstuttgart.typinference.unify.model.MPair.PairOperator; import de.dhbwstuttgart.typinference.unify.model.SimpleType;