diff --git a/src/test/scala/leon/test/LeonTests.scala b/src/test/scala/leon/test/LeonTests.scala
index 5650ab907d484b2e521e5dd4f256eec341132ebd..e6c4e1b2095d7870e2faceb5bfb6d8578475f0d2 100644
--- a/src/test/scala/leon/test/LeonTests.scala
+++ b/src/test/scala/leon/test/LeonTests.scala
@@ -16,7 +16,8 @@ import verification._
 
 class LeonAllTests extends Suites(
   new LeonUnitTests,
-  new LeonFunTests
+  new LeonFunTests,
+  new TestCasesCompile
 )
 
 class LeonFunTests extends Suites(
@@ -30,12 +31,9 @@ class LeonFunTests extends Suites(
   new SynthesisSuite,
   new SynthesisRegressionSuite,
 
-
   new LibraryVerificationRegression,
   new PureScalaVerificationRegression,
-  new XLangVerificationRegression,
-
-  new TestCasesCompile
+  new XLangVerificationRegression
 )
 
 class LeonUnitTests extends Suites(