From 587a1d9c3037baeedd3aa02caba44e6c579f7b51 Mon Sep 17 00:00:00 2001
From: Jason Koenig <unknown>
Date: Thu, 28 Jun 2012 14:37:27 -0700
Subject: Dafny: fixed bug with translation of class._System.object;

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

(limited to 'Source/Dafny/DafnyAst.cs')

diff --git a/Source/Dafny/DafnyAst.cs b/Source/Dafny/DafnyAst.cs
index 8038be10..f6ba6014 100644
--- a/Source/Dafny/DafnyAst.cs
+++ b/Source/Dafny/DafnyAst.cs
@@ -41,11 +41,11 @@ namespace Microsoft.Dafny {
   {
     public readonly ModuleDefinition SystemModule = new ModuleDefinition(Token.NoToken, "_System", false, false, null, null);
     Dictionary<int, ClassDecl/*!*/> arrayTypeDecls = new Dictionary<int, ClassDecl>();
-
+    public readonly ClassDecl ObjectDecl;
     public BuiltIns() {
       // create class 'object'
-      ClassDecl obj = new ClassDecl(Token.NoToken, "object", SystemModule, new List<TypeParameter>(), new List<MemberDecl>(), null);
-      SystemModule.TopLevelDecls.Add(obj);
+      ObjectDecl = new ClassDecl(Token.NoToken, "object", SystemModule, new List<TypeParameter>(), new List<MemberDecl>(), null);
+      SystemModule.TopLevelDecls.Add(ObjectDecl);
       // add one-dimensional arrays, since they may arise during type checking
       UserDefinedType tmp = ArrayType(Token.NoToken, 1, Type.Int, true);
     }
-- 
cgit v1.2.3