diff --git a/tests/Copar/Algorithm/SplitSpec.hs b/tests/Copar/Algorithm/SplitSpec.hs
index 3b3b2f30f27e6e09eeeeb25807732bd6e7aa3d9a..a8d26c426113f057af1e601f8626781081be5c09 100644
--- a/tests/Copar/Algorithm/SplitSpec.hs
+++ b/tests/Copar/Algorithm/SplitSpec.hs
@@ -20,7 +20,6 @@ import           Data.MorphismEncoding          ( fromEdgeRef
                                                 )
 import qualified Data.MorphismEncoding         as Encoding
 import           Copar.RefinementInterface
-import           Copar.Coalgebra.RefinementTypes
 import           Copar.Algorithm.Initialize
 import qualified Data.BlockQueue               as Queue
 import           Copar.Functors.Powerset
diff --git a/tests/Copar/Coalgebra/ParserSpec.hs b/tests/Copar/Coalgebra/ParserSpec.hs
index 12093d273452a9195472308d31ca41c37d46835e..a338273b4d5e53e62163dd8f456926ad8be95091 100644
--- a/tests/Copar/Coalgebra/ParserSpec.hs
+++ b/tests/Copar/Coalgebra/ParserSpec.hs
@@ -20,7 +20,7 @@ import qualified Data.HashMap.Strict as HM
 import           Data.MorphismEncoding (Encoding)
 import qualified Data.MorphismEncoding as Encoding
 import           Copar.Coalgebra.Parser
-import           Copar.Coalgebra.RefinementTypes
+import           Copar.RefinementInterface
 import           Copar.FunctorExpression.Sorts (Sort, Sorted(..))
 import           Copar.FunctorExpression.Type
 import           Copar.Parser.Lexer
diff --git a/tests/Copar/Functors/AbsorbingPolynomialSpec.hs b/tests/Copar/Functors/AbsorbingPolynomialSpec.hs
index 3c2debbf83dfb9607dab7a3d6d80cc1c659cbb94..bbc10bca04a91211d66e47a39f86175919df6c51 100644
--- a/tests/Copar/Functors/AbsorbingPolynomialSpec.hs
+++ b/tests/Copar/Functors/AbsorbingPolynomialSpec.hs
@@ -22,7 +22,7 @@ import           Copar.FunctorExpression.Desorting
 import           Copar.FunctorExpression.Type
 import           Copar.Functors.AbsorbingPolynomial
 import           Copar.Functors.Polynomial  hiding ( PolyF1(..) )
-import           Copar.Coalgebra.RefinementTypes
+import           Copar.RefinementInterface
 import qualified Data.Partition                as Part
 import           Copar.Algorithm
 
diff --git a/tests/Copar/Functors/GroupValuedSpec.hs b/tests/Copar/Functors/GroupValuedSpec.hs
index ac59b2bf3f889db3c55bd9329e78ae91041838af..83e14bd5fbac3ccad5644830f99e7ad5efae4373 100644
--- a/tests/Copar/Functors/GroupValuedSpec.hs
+++ b/tests/Copar/Functors/GroupValuedSpec.hs
@@ -16,7 +16,7 @@ import           Copar.FunctorExpression.Type
 import           Copar.FunctorExpression.Sorts     ( Sorted(..) )
 import           Data.Float.Utils               ( EqDouble )
 import           Copar.Parser.Types
-import           Copar.Coalgebra.RefinementTypes
+import           Copar.RefinementInterface
 
 
 spec :: Spec
diff --git a/tests/Copar/Functors/MonoidValuedSpec.hs b/tests/Copar/Functors/MonoidValuedSpec.hs
index a95a2cfa056fe62d862cc928dc194348114c32d6..b8a9d03d0a43695fb3b5a592a729da68901fe94c 100644
--- a/tests/Copar/Functors/MonoidValuedSpec.hs
+++ b/tests/Copar/Functors/MonoidValuedSpec.hs
@@ -32,7 +32,7 @@ import           Copar.FunctorExpression.Desorting
 import qualified Data.Partition                as Part
 import           Copar.Algorithm
 import           Copar.Functors.Polynomial
-import           Copar.Coalgebra.RefinementTypes
+import           Copar.RefinementInterface
 import           Data.Float.Utils
 
 spec :: Spec