From 15755e486cfe715f15ed7e71938d07800a98a7f2 Mon Sep 17 00:00:00 2001
From: qunyanm <unknown>
Date: Thu, 11 Feb 2016 16:08:27 -0800
Subject: Fix issue 134. Wrong variable was used in the loop.

---
 Source/Dafny/Resolver.cs | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'Source')

diff --git a/Source/Dafny/Resolver.cs b/Source/Dafny/Resolver.cs
index fe31201a..5a63b4e3 100644
--- a/Source/Dafny/Resolver.cs
+++ b/Source/Dafny/Resolver.cs
@@ -5057,7 +5057,7 @@ namespace Microsoft.Dafny
               var dd = (NewtypeDecl)d;
               if (DafnyOptions.O.IronDafny) {
                 while (dd.ClonedFrom != null) {
-                  dd = (NewtypeDecl)d.ClonedFrom;
+                  dd = (NewtypeDecl)dd.ClonedFrom;
                 }
               }
               var caller = context as ICallable;
-- 
cgit v1.2.3