diff --git a/src/test/scala/leon/test/performance/CegisPerformance.scala b/src/test/scala/leon/test/performance/CegisPerformance.scala
index 7613168c7ded6c2d188ac987fb93d53c5cf9da55..1ca107ff6c1b6fd7a54d3956bacca51d3214d83e 100644
--- a/src/test/scala/leon/test/performance/CegisPerformance.scala
+++ b/src/test/scala/leon/test/performance/CegisPerformance.scala
@@ -4,8 +4,6 @@ import leon.synthesis.rules._
 import leon.test._
 import leon.utils._
 import leon.frontends.scalac._
-import leon.purescala.Definitions._
-import org.scalameter.picklers.noPickler._
 
 import org.scalameter.api._