diff options
Diffstat (limited to 'Test/dafny3')
-rw-r--r-- | Test/dafny3/Iter.dfy | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/Test/dafny3/Iter.dfy b/Test/dafny3/Iter.dfy index 543a889a..3af868ca 100644 --- a/Test/dafny3/Iter.dfy +++ b/Test/dafny3/Iter.dfy @@ -73,7 +73,7 @@ method Client<T(==)>(l: List, stop: T) returns (s: seq<T>) requires l != null && l.Valid();
{
var c := new Cell;
- var iter := new M.M(l, c);
+ var iter := new M(l, c);
s := [];
while (true)
invariant iter.Valid() && fresh(iter._new);
|