diff --git a/src/regression/scala/leon/test/verification/NewSolversSuite.scala b/src/regression/scala/leon/regression/verification/NewSolversSuite.scala similarity index 100% rename from src/regression/scala/leon/test/verification/NewSolversSuite.scala rename to src/regression/scala/leon/regression/verification/NewSolversSuite.scala