diff options
| author |  qunyanm <unknown> | 2016-02-11 16:08:27 -0800 |
|---|---|---|
| committer | qunyanm <unknown> | 2016-02-11 16:08:27 -0800 |
| commit | 15755e486cfe715f15ed7e71938d07800a98a7f2 (patch) | |
| tree | 719dcd8cfbd651b0087bb948c77d83335ab72325 /Source | |
| parent | abfe9c32f0b33274511014dd4f498702bbcf0d7e (diff) | |
Fix issue 134. Wrong variable was used in the loop.
Diffstat (limited to 'Source')
| -rw-r--r-- | Source/Dafny/Resolver.cs | 2 |
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;
|