diff options
Diffstat (limited to 'Test/dafny0/Use.dfy')
| -rw-r--r-- | Test/dafny0/Use.dfy | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/Test/dafny0/Use.dfy b/Test/dafny0/Use.dfy index aaf41190..20928f41 100644 --- a/Test/dafny0/Use.dfy +++ b/Test/dafny0/Use.dfy @@ -191,7 +191,6 @@ class Recursive { while (k < n)
invariant k <= n;
invariant Gauss(k) == (k+1)*k / 2;
- decreases n - k;
{
k := k + 1;
}
|