1 files changed, 0 insertions, 24 deletions
diff --git a/Chalice/tests/predicates/mutual-dependence.chalice b/Chalice/tests/predicates/mutual-dependence.chalice
deleted file mode 100644
index a0939607..00000000
--- a/Chalice/tests/predicates/mutual-dependence.chalice
+++ /dev/null
@@ -1,24 +0,0 @@
-class Cell {
-  var value: int;
-  var next: Cell;
-  
-  predicate p { q }
-  predicate q { acc(value) && acc(next) && (next != null ==> next.p) }
-  
-  method test()
-    requires acc(this.*)
-  {
-    value := 1
-    next := null
-    fold q
-    fold p
-    call void()
-    assert unfolding p in unfolding q in value == 1 // ERROR: should not verify
-  }
-  
-  method void()
-    requires p
-    ensures p
-  {}
-  
-}