diff options
Diffstat (limited to 'Test/dafny0/ListContents.dfy')
-rw-r--r-- | Test/dafny0/ListContents.dfy | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/Test/dafny0/ListContents.dfy b/Test/dafny0/ListContents.dfy index 7f0085e0..62636ce5 100644 --- a/Test/dafny0/ListContents.dfy +++ b/Test/dafny0/ListContents.dfy @@ -5,7 +5,7 @@ class Node<T> { var data: T;
var next: Node<T>;
- use function Valid(): bool
+ function Valid(): bool
reads this, footprint;
{
this in this.footprint && null !in this.footprint &&
|