From a1a041f3549cb1665964d30b666c825767d59afb Mon Sep 17 00:00:00 2001
From: Rustan Leino <leino@microsoft.com>
Date: Fri, 5 Oct 2012 17:57:40 -0700
Subject: Support default (which, here, means nameless) class-instance
 constructors

---
 Test/dafny3/Iter.dfy | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'Test/dafny3')

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);
-- 
cgit v1.2.3