1 files changed, 0 insertions, 22 deletions
diff --git a/Chalice/tests/regressions/workitem-10147.chalice b/Chalice/tests/regressions/workitem-10147.chalice
deleted file mode 100644
index eb6f31c7..00000000
--- a/Chalice/tests/regressions/workitem-10147.chalice
+++ /dev/null
@@ -1,22 +0,0 @@
-class Cell {
-  
-  var x: int;
-  
-  // the declaration of a method with the same name for a parameter
-  // as well as a result alone does not yet cause a problem, but ...
-  method problematic_method(c: Cell) returns (c: Cell)
-    requires acc(c.x);
-  {
-  }
-  
-  // ... calling it leads to various 'undeclared identifier' errors
-  // in boogie. (previously. now fixed by not allowing c as both in and out parameter)
-  method error()
-  {
-    var a: Cell := new Cell;
-    var b: Cell;
-    
-    call b := problematic_method(a);
-  }
-  
-}