diff --git a/mytest/Even.scala b/mytest/Even.scala
deleted file mode 100644
index f1fdfdce4ca11af66f4225d8971fddaa4a23e287..0000000000000000000000000000000000000000
--- a/mytest/Even.scala
+++ /dev/null
@@ -1,14 +0,0 @@
-import leon.Utils._
-
-object Even {
-
-  //def getEven: Int = {
-  //  val e = epsilon((i: Int) => true)
-  //  e + e
-  //}) ensuring(isEven(_))
-
-  def double(i: Int): Int = (2*i) ensuring (isEven(_))
-
-  def isEven(i: Int): Boolean = i % 2 == 0
-
-}