1 files changed, 0 insertions, 17 deletions
diff --git a/Chalice/tests/regressions/internal-bug-4.chalice b/Chalice/tests/regressions/internal-bug-4.chalice
deleted file mode 100644
index af850d49..00000000
--- a/Chalice/tests/regressions/internal-bug-4.chalice
+++ /dev/null
@@ -1,17 +0,0 @@
-class C
-{
-  var f: int;
-  predicate valid { acc(f) }
-  
-  function foo1(): int
-  ensures valid;
-  { 1 }
-  
-  function foo2(): int
-  ensures acc(f);
-  { 1 }
-
-  function foo3(): int
-  ensures rd(f);
-  { 1 }
-}