From 879b96a71c7068cf2a5dcdf44de429d831071480 Mon Sep 17 00:00:00 2001
From: Manos Koukoutos <emmanouil.koukoutos@epfl.ch>
Date: Thu, 20 Aug 2015 14:22:59 +0200
Subject: [PATCH] Move this to the right folder

---
 .../leon/{test => regression}/verification/NewSolversSuite.scala  | 0
 1 file changed, 0 insertions(+), 0 deletions(-)
 rename src/regression/scala/leon/{test => regression}/verification/NewSolversSuite.scala (100%)

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
-- 
GitLab