1 files changed, 6 insertions, 5 deletions
diff --git a/Test/dafny0/CoPredicates.dfy b/Test/dafny0/CoPredicates.dfy
index 67dff91b..c5651c90 100644
--- a/Test/dafny0/CoPredicates.dfy
+++ b/Test/dafny0/CoPredicates.dfy
@@ -51,8 +51,9 @@ function U2(n: int): Stream<int>
   UpwardBy2(n)
 }
 
-ghost method Lemma2(n: int)
-  ensures Even(UpwardBy2(2*n));  // this is true, but Dafny can't prove it
-{
-  assert Even(U2(2*n));  // ... thanks to this lemma
-}
+// Postponed:
+//ghost method Lemma2(n: int)
+//  ensures Even(UpwardBy2(2*n));  // this is true, and Dafny can prove it
+//{
+//  assert Even(U2(2*n));  // ... thanks to this lemma
+//}