diff --git a/lisa-front/src/test/scala/lisa/front/UnificationTests.scala b/lisa-front/src/test/scala/lisa/front/UnificationTests.scala
index bafeb34750f6a01cea2f590d2276eb03af2deaf9..862746ab3e3d47cf22744667c00ceda858ae8892 100644
--- a/lisa-front/src/test/scala/lisa/front/UnificationTests.scala
+++ b/lisa-front/src/test/scala/lisa/front/UnificationTests.scala
@@ -4,7 +4,7 @@ import lisa.front.fol.FOL.LabelType
 import lisa.front.fol.FOL.WithArityType
 import lisa.front.printer.FrontPositionedPrinter
 import lisa.front.printer.FrontPrintStyle
-import lisa.front.{*, given}
+import lisa.front.{_, given}
 import org.scalatest.Ignore
 import org.scalatest.funsuite.AnyFunSuite