From dbb415aa6de3b15b44d18924b0078a02c7af7a75 Mon Sep 17 00:00:00 2001
From: Rustan Leino <unknown>
Date: Sat, 19 Apr 2014 21:28:06 -0700
Subject: Fixed bug #33.

---
 Source/Dafny/Resolver.cs | 3 +++
 1 file changed, 3 insertions(+)

(limited to 'Source/Dafny')

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
-- 
cgit v1.2.3