diff options
Diffstat (limited to 'Dafny/Cloner.cs')
| -rw-r--r-- | Dafny/Cloner.cs | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/Dafny/Cloner.cs b/Dafny/Cloner.cs index 3db69fba..aecb6fe7 100644 --- a/Dafny/Cloner.cs +++ b/Dafny/Cloner.cs @@ -125,7 +125,7 @@ namespace Microsoft.Dafny } else if (t is InferredTypeProxy) {
return new InferredTypeProxy();
} else if (t is ParamTypeProxy) {
- return new ParamTypeProxy(((ParamTypeProxy)t).orig); // todo: this is not right, as when cloning the type parameter declartion changes.
+ return new ParamTypeProxy(CloneTypeParam(((ParamTypeProxy)t).orig));
} else {
Contract.Assert(false); // unexpected type (e.g., no other type proxies are expected at this time)
return null; // to please compiler
|