1 files changed, 0 insertions, 16 deletions
diff --git a/Chalice/tests/regressions/internal-bug-1.chalice b/Chalice/tests/regressions/internal-bug-1.chalice
deleted file mode 100644
index 10caeebb..00000000
--- a/Chalice/tests/regressions/internal-bug-1.chalice
+++ /dev/null
@@ -1,16 +0,0 @@
-class Test {
-  var next: Test;
-  var elem: int;
-
-  predicate valid {
-    acc(elem) && acc(next) && 
-    (next != null ==> next.valid)
-  }
-  
-  function get(index:int):int
-    requires valid
-    // on 2012-02-21, a bug was reported that caused Chalice to crash with an
-    // InternalError for the following precondition.
-    requires unfolding valid in true
-  {0}
-}