diff --git a/src/test/scala/leon/test/LeonTests.scala b/src/test/scala/leon/test/LeonTests.scala
index e6c4e1b2095d7870e2faceb5bfb6d8578475f0d2..27672ef35370bbf8d7fc87cc3dd85cabe86c0188 100644
--- a/src/test/scala/leon/test/LeonTests.scala
+++ b/src/test/scala/leon/test/LeonTests.scala
@@ -13,6 +13,7 @@ import synthesis._
 import termination._
 import utils._
 import verification._
+import testcases._
 
 class LeonAllTests extends Suites(
   new LeonUnitTests,
diff --git a/src/test/scala/leon/test/testcases/TestCasesCompile.scala b/src/test/scala/leon/test/testcases/TestCasesCompile.scala
index 42d6dbb0cee8ee22e091bcfaaf124101e4bc6ef8..b0d76789d617c56194bbdd01c7952dcb2efeaf09 100644
--- a/src/test/scala/leon/test/testcases/TestCasesCompile.scala
+++ b/src/test/scala/leon/test/testcases/TestCasesCompile.scala
@@ -1,10 +1,9 @@
 /* Copyright 2009-2015 EPFL, Lausanne */
 
-package leon.test.frontends
+package leon.test.testcases
 
 import leon._
 import test.LeonTestSuite
-import purescala.Definitions.Program
 import java.io.File
 
 class TestCasesCompile extends LeonTestSuite {