diff --git a/src/main/scala/leon/purescala/LikelyEq.scala b/src/test/scala/leon/test/purescala/LikelyEq.scala
similarity index 99%
rename from src/main/scala/leon/purescala/LikelyEq.scala
rename to src/test/scala/leon/test/purescala/LikelyEq.scala
index 71177603bdf77e5b1f126b187968d14005d8be9b..5de9e10ea9024d270e53b89e71129c9b9c8ea1a7 100644
--- a/src/main/scala/leon/purescala/LikelyEq.scala
+++ b/src/test/scala/leon/test/purescala/LikelyEq.scala
@@ -1,4 +1,4 @@
-package leon.purescala
+package leon.test.purescala
 
 import leon.Evaluator._
 import leon.purescala.Trees._
diff --git a/src/test/scala/leon/test/purescala/LikelyEqSuite.scala b/src/test/scala/leon/test/purescala/LikelyEqSuite.scala
index 98cf7ba423920aae8c23021f3a549a7a03ce859a..dcc0788b0f7125a0125319beff58969774ff03f1 100644
--- a/src/test/scala/leon/test/purescala/LikelyEqSuite.scala
+++ b/src/test/scala/leon/test/purescala/LikelyEqSuite.scala
@@ -6,7 +6,6 @@ import leon.Evaluator
 import leon.purescala.Trees._
 import leon.purescala.Common._
 
-import leon.purescala.LikelyEq
 
 class LikelyEqSuite extends FunSuite {
 
diff --git a/src/test/scala/leon/test/purescala/TreeNormalizationsTests.scala b/src/test/scala/leon/test/purescala/TreeNormalizationsTests.scala
index 679f2a58891897ce0356d722f9f3c65f2edfed31..db3ff42cde22c1a68dc6cd734bcb4e087bf045ff 100644
--- a/src/test/scala/leon/test/purescala/TreeNormalizationsTests.scala
+++ b/src/test/scala/leon/test/purescala/TreeNormalizationsTests.scala
@@ -6,7 +6,6 @@ import leon.purescala.TypeTrees._
 import leon.purescala.Trees._
 import leon.purescala.TreeOps._
 import leon.purescala.TreeNormalizations._
-import leon.purescala.LikelyEq
 import leon.SilentReporter
 
 import org.scalatest.FunSuite
diff --git a/src/test/scala/leon/test/purescala/TreeOpsTests.scala b/src/test/scala/leon/test/purescala/TreeOpsTests.scala
index dc9d3737dc14c81b31f5c1060f9036a4c38063f3..a7ca3dac335c46e7b694c3f76f08ffe983f22ce1 100644
--- a/src/test/scala/leon/test/purescala/TreeOpsTests.scala
+++ b/src/test/scala/leon/test/purescala/TreeOpsTests.scala
@@ -8,7 +8,6 @@ import leon.purescala.Definitions._
 import leon.purescala.Trees._
 import leon.purescala.TypeTrees._
 import leon.purescala.TreeOps._
-import leon.purescala.LikelyEq
 
 import org.scalatest.FunSuite
 
diff --git a/src/test/scala/leon/test/synthesis/LinearEquationsSuite.scala b/src/test/scala/leon/test/synthesis/LinearEquationsSuite.scala
index 961ae949f1a950bf8771aa82ecfa0bd8652cc625..1f49ae517ab0961489a803fe98f69d2aabbd83ab 100644
--- a/src/test/scala/leon/test/synthesis/LinearEquationsSuite.scala
+++ b/src/test/scala/leon/test/synthesis/LinearEquationsSuite.scala
@@ -7,7 +7,7 @@ import leon.purescala.Trees._
 import leon.purescala.TypeTrees._
 import leon.purescala.TreeOps._
 import leon.purescala.Common._
-import leon.purescala.LikelyEq
+import leon.test.purescala.LikelyEq
 
 import leon.synthesis.LinearEquations._