diff options
Diffstat (limited to 'Test/dafny0/Corecursion.dfy')
| -rw-r--r-- | Test/dafny0/Corecursion.dfy | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/Test/dafny0/Corecursion.dfy b/Test/dafny0/Corecursion.dfy index 3193db12..d8eb296d 100644 --- a/Test/dafny0/Corecursion.dfy +++ b/Test/dafny0/Corecursion.dfy @@ -70,7 +70,7 @@ module EqualityIsSuperDestructive { then Cons(2, s) else Cons(1, s)
}
- ghost method lemma(s: Stream<int>)
+ lemma Lemma(s: Stream<int>)
{
// The following three assertions follow from the definition of F, so F had better
// generate some error (which it does -- the recursive call to F in F does not terminate).
|