diff options
Diffstat (limited to 'Source/Dafny')
-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;
|