From 36f74ce7f6f688151c9daac97a041b904a38dee6 Mon Sep 17 00:00:00 2001
From: Samuel Gruetter <samuel.gruetter@epfl.ch>
Date: Wed, 3 Jun 2015 19:58:01 +0200
Subject: [PATCH] delete file which shouldn't be there
---
mytests/Termination2.scala | 14 --------------
1 file changed, 14 deletions(-)
delete mode 100644 mytests/Termination2.scala
diff --git a/mytests/Termination2.scala b/mytests/Termination2.scala
deleted file mode 100644
index 4ef5ba8b0..000000000
--- 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)
-}
--
GitLab