diff --git a/mytests/Termination2.scala b/mytests/Termination2.scala
deleted file mode 100644
index 4ef5ba8b07ccbe508c4a88945f9ccf7faaf5231d..0000000000000000000000000000000000000000
--- a/mytests/Termination2.scala
+++ /dev/null
@@ -1,14 +0,0 @@
-
-object Test {
-  def f(x: BigInt): BigInt = {
-    if (x == 0) {
-      0
-    } else if (x > 0) {
-      f(x-1)+2
-    } else if (x < 0) {
-      f(x+1)-2
-    } else {
-      33
-    }
-  } ensuring (_ == x*2)
-}