BVD: don't do the "Duplicate entry exception"; uncomment for debugging

1 files changed, 7 insertions, 1 deletions

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]);

       };