From 29e6b2429718e23cd1011252e49c14dcc640fa88 Mon Sep 17 00:00:00 2001
From: Manos Koukoutos <emmanouil.koukoutos@epfl.ch>
Date: Fri, 8 May 2015 14:55:12 +0200
Subject: [PATCH] Fix TestCasesCompile package
---
src/test/scala/leon/test/LeonTests.scala | 1 +
src/test/scala/leon/test/testcases/TestCasesCompile.scala | 3 +--
2 files changed, 2 insertions(+), 2 deletions(-)
diff --git a/src/test/scala/leon/test/LeonTests.scala b/src/test/scala/leon/test/LeonTests.scala
index e6c4e1b20..27672ef35 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 42d6dbb0c..b0d76789d 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 {
--
GitLab