diff options
| author |  Rustan Leino <unknown> | 2014-04-19 21:28:06 -0700 |
|---|---|---|
| committer | Rustan Leino <unknown> | 2014-04-19 21:28:06 -0700 |
| commit | dbb415aa6de3b15b44d18924b0078a02c7af7a75 (patch) | |
| tree | 2b676536bc83462d13b4a641f8f8c484362b0a4a /Source/Dafny | |
| parent | a05be61a3b45bbabc0c038190d15c48c85f21822 (diff) | |
Fixed bug #33.
Diffstat (limited to 'Source/Dafny')
| -rw-r--r-- | Source/Dafny/Resolver.cs | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/Source/Dafny/Resolver.cs b/Source/Dafny/Resolver.cs index 3532c8e6..d2fc74aa 100644 --- a/Source/Dafny/Resolver.cs +++ b/Source/Dafny/Resolver.cs @@ -1106,6 +1106,9 @@ namespace Microsoft.Dafny return new UserDefinedType(tt.tok, tt.Name, tt.TypeArgs.ConvertAll(CloneType), tt.Path.ConvertAll(x => x));
} else if (t is InferredTypeProxy) {
return new InferredTypeProxy();
+ } else if (t is ParamTypeProxy) {
+ var tt = (ParamTypeProxy)t;
+ return new ParamTypeProxy(CloneTypeParam(tt.orig));
} else {
Contract.Assert(false); // unexpected type (e.g., no other type proxies are expected at this time)
return null; // to please compiler
|