1 files changed, 0 insertions, 19 deletions
diff --git a/Chalice/tests/regressions/workitem-10192.chalice b/Chalice/tests/regressions/workitem-10192.chalice
deleted file mode 100644
index 06ff5881..00000000
--- a/Chalice/tests/regressions/workitem-10192.chalice
+++ /dev/null
@@ -1,19 +0,0 @@
-class Sequences { 
-	var xs: seq<int>
-
-	method append(a: int) 
-		requires acc(xs) 
-		ensures acc(xs) 
-		ensures size() == old(size()) + 1  /* verifies */ 
-		ensures |xs| == old(|xs|) + 1      /* previously failed */ 
-	{ xs := xs ++ [a] }
-	 
-	/* this heap-independent version also verifies. */ 
-	method append0(ins: seq<int>, a: int) returns (outs: seq<int>) 
-		ensures |outs| == |ins| + 1 
-	{ outs := ins ++ [a] } 
-	 
-	function size(): int  
-		requires rd(xs)
-	{ |xs| }
-}