Fixed an encoding bug for newtypes (this fixes Issue #50)

1 files changed, 1 insertions, 1 deletions

diff --git a/Source/Dafny/Rewriter.cs b/Source/Dafny/Rewriter.cs
index f8f4b218..f5a9f6b0 100644
--- a/Source/Dafny/Rewriter.cs
+++ b/Source/Dafny/Rewriter.cs
@@ -182,7 +182,7 @@ namespace Microsoft.Dafny
       Contract.Assert(ReprField != null);  // we expect there to be a "Repr" field, since we added one in PreResolve

 

       Boogie.IToken clTok = new AutoGeneratedToken(cl.tok);

-      Type ty = new UserDefinedType(clTok, cl.Name, cl, cl.TypeArgs.ConvertAll(tp => (Type)new UserDefinedType(tp)));

+      Type ty = UserDefinedType.FromTopLevelDecl(clTok, cl);

       var self = new ThisExpr(clTok);

       self.Type = ty;

       var implicitSelf = new ImplicitThisExpr(clTok);