summaryrefslogtreecommitdiff
path: root/Source/Dafny
diff options
context:
space:
mode:
authorGravatar qunyanm <unknown>2016-02-11 16:08:27 -0800
committerGravatar qunyanm <unknown>2016-02-11 16:08:27 -0800
commit15755e486cfe715f15ed7e71938d07800a98a7f2 (patch)
tree719dcd8cfbd651b0087bb948c77d83335ab72325 /Source/Dafny
parentabfe9c32f0b33274511014dd4f498702bbcf0d7e (diff)
Fix issue 134. Wrong variable was used in the loop.
Diffstat (limited to 'Source/Dafny')
-rw-r--r--Source/Dafny/Resolver.cs2
1 files changed, 1 insertions, 1 deletions
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;