From 8047d5e14ec77132d329f0eb6e200298d537a67e Mon Sep 17 00:00:00 2001
From: Michal Moskal <michal@moskal.me>
Date: Tue, 8 Nov 2011 19:22:43 -0800
Subject: BVD: don't do the "Duplicate entry exception"; uncomment for
 debugging

---
 Source/ModelViewer/Namer.cs | 8 +++++++-
 1 file changed, 7 insertions(+), 1 deletion(-)

(limited to 'Source/ModelViewer')

diff --git a/Source/ModelViewer/Namer.cs b/Source/ModelViewer/Namer.cs
index c1d7fcd3..afcb0fe6 100644
--- a/Source/ModelViewer/Namer.cs
+++ b/Source/ModelViewer/Namer.cs
@@ -159,7 +159,13 @@ namespace Microsoft.Boogie.ModelViewer
 
       Action<IEnumerable<IDisplayNode>> addList = (IEnumerable<IDisplayNode> nodes) =>
       {
-        var ch = nodes.ToDictionary(x => x.Name);
+        var ch = new Dictionary<string, IDisplayNode>();
+        foreach (var x in nodes) {
+          if (ch.ContainsKey(x.Name)) {
+            // throw new System.InvalidOperationException("duplicated model entry: " + x.Name);
+          }
+          ch[x.Name] = x;
+        }
         foreach (var k in SortFields(nodes))
           workList.Enqueue(ch[k]);
       };
-- 
cgit v1.2.3