diff options
| author |  Rustan Leino <leino@microsoft.com> | 2012-10-05 17:57:40 -0700 |
|---|---|---|
| committer | Rustan Leino <leino@microsoft.com> | 2012-10-05 17:57:40 -0700 |
| commit | a1a041f3549cb1665964d30b666c825767d59afb (patch) | |
| tree | c0d06edd42a894c159656211ab1ab0717bd91c4c /Test/dafny3 | |
| parent | b4206512348cb4a3cdf87ccf7212e5193e8d3b35 (diff) | |
Support default (which, here, means nameless) class-instance constructors
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);
|