From 50736fb0168be36f3c1f608ce0a8b1ece96f57e7 Mon Sep 17 00:00:00 2001
From: wuestholz <unknown>
Date: Mon, 29 Jul 2013 18:56:30 -0700
Subject: Fixed issue in the model viewer.

---
 Source/ModelViewer/DafnyProvider.cs | 1 +
 Source/ModelViewer/Namer.cs         | 6 ++----
 2 files changed, 3 insertions(+), 4 deletions(-)

(limited to 'Source')

diff --git a/Source/ModelViewer/DafnyProvider.cs b/Source/ModelViewer/DafnyProvider.cs
index 6e4698d9..c233d272 100644
--- a/Source/ModelViewer/DafnyProvider.cs
+++ b/Source/ModelViewer/DafnyProvider.cs
@@ -218,6 +218,7 @@ namespace Microsoft.Boogie.ModelViewer.Dafny
 
       public FieldName(Model.Element elt, DafnyModel dm) {
         Field = elt;
+        NameArgs = new Model.Element[Dims];
         var tpl = dm.f_dim.AppWithArg(0, elt);
         if (tpl != null) {
           Dims = tpl.Result.AsInt();
diff --git a/Source/ModelViewer/Namer.cs b/Source/ModelViewer/Namer.cs
index afcb0fe6..0eb2418e 100644
--- a/Source/ModelViewer/Namer.cs
+++ b/Source/ModelViewer/Namer.cs
@@ -485,8 +485,6 @@ namespace Microsoft.Boogie.ModelViewer
 
   public class EdgeName
   {
-    static readonly Model.Element[] emptyArgs = new Model.Element[0];
-
     ILanguageSpecificModel langModel;
     string format;
     string cachedName;
@@ -496,10 +494,10 @@ namespace Microsoft.Boogie.ModelViewer
     {
       this.langModel = n;
       this.format = format;
-      this.args = args;
+      this.args = args.ToArray();
     }
 
-    public EdgeName(string name) : this(null, name, emptyArgs) 
+    public EdgeName(string name) : this(null, name) 
     {
       Util.Assert(name != null);
     }
-- 
cgit v1.2.3