From 880146409ddbe722818940dab09dcefe29dc87ce Mon Sep 17 00:00:00 2001 From: Manos Koukoutos <emmanouil.koukoutos@epfl.ch> Date: Tue, 23 Jun 2015 15:05:01 +0200 Subject: [PATCH] Remove imports for compatibility --- src/test/scala/leon/test/performance/CegisPerformance.scala | 2 -- 1 file changed, 2 deletions(-) diff --git a/src/test/scala/leon/test/performance/CegisPerformance.scala b/src/test/scala/leon/test/performance/CegisPerformance.scala index 7613168c7..1ca107ff6 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._ -- GitLab