1 files changed, 0 insertions, 15 deletions
diff --git a/seng2011/1/ex4.dfy b/seng2011/1/ex4.dfy
deleted file mode 100644
index 900ac48..0000000
--- a/seng2011/1/ex4.dfy
+++ /dev/null
@@ -1,15 +0,0 @@
-method Eval(x:int) returns (r:int)
-requires x > 0;
-ensures r == x * x;
-{
-    var y:int := x;
-    var z:int := 0;
-    while (y >0)
-        decreases y
-        invariant (y >= 0 && y <= x && z == x * (x - y));
-    {
-        z := z + x;
-        y := y - 1;
-    }
-    return z;
-}