1 files changed, 0 insertions, 28 deletions
diff --git a/Chalice/tests/refinements/Pick.chalice b/Chalice/tests/refinements/Pick.chalice
deleted file mode 100644
index 7df2f90d..00000000
--- a/Chalice/tests/refinements/Pick.chalice
+++ /dev/null
@@ -1,28 +0,0 @@
-class Pick0 {
-  method pick(s: seq<int>) returns (x)
-    requires |s| > 0;
-  {
-    var x [x in s]
-  }
-}
-
-class Pick1 refines Pick0 {
-  transforms pick(s: seq<int>) returns (x)
-  {
-    replaces x by {x := s[0]}
-  }
-}
-
-class Pick2 refines Pick0 {
-  transforms pick(s: seq<int>) returns (x)
-  {
-    replaces * by {x := s[|s|-1]}
-  }
-}
-
-class Pick3 refines Pick0 {
-  transforms pick(s: seq<int>) returns (x)
-  {
-    replaces x by {x := s[1]}
-  }
-}