1 files changed, 0 insertions, 20 deletions
diff --git a/Chalice/tests/examples/swap.chalice b/Chalice/tests/examples/swap.chalice
deleted file mode 100644
index 46a6a71a..00000000
--- a/Chalice/tests/examples/swap.chalice
+++ /dev/null
@@ -1,20 +0,0 @@
-class C {
-  method m(a, b) returns (x, y)
-    ensures x == a && y == b;
-  {
-    x := a;
-    y := b;
-  }
-
-  var F;
-  var G;
-  method n()
-    requires acc(F) && acc(this.G);
-    ensures acc(F) && acc(G);
-    ensures F == old(G) && G == old(F);
-  {
-    var tmp := F;
-    F := G;
-    G := tmp;
-  }
-}