diff options
| author |  rustanleino <unknown> | 2011-02-02 23:25:59 +0000 |
|---|---|---|
| committer | rustanleino <unknown> | 2011-02-02 23:25:59 +0000 |
| commit | ad9f90b39d48221514da0df1397bcd81b2897819 (patch) | |
| tree | 34d8301118789e1704186af7f84f2d418084b1fd /Source/ModelViewer/Namer.cs | |
| parent | bcd9c547b4245b014b1296b9924b4c7b4f4bf02e (diff) | |
BVD Dafny: support Skolem constants
Diffstat (limited to 'Source/ModelViewer/Namer.cs')
| -rw-r--r-- | Source/ModelViewer/Namer.cs | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/Source/ModelViewer/Namer.cs b/Source/ModelViewer/Namer.cs index 620cd4c1..2779c81d 100644 --- a/Source/ModelViewer/Namer.cs +++ b/Source/ModelViewer/Namer.cs @@ -158,7 +158,6 @@ namespace Microsoft.Boogie.ModelViewer Action<IEnumerable<IDisplayNode>> addList = (IEnumerable<IDisplayNode> nodes) =>
{
- var tmp = nodes.Select(x => x.Name).ToArray();
var ch = nodes.ToDictionary(x => x.Name);
foreach (var k in SortFields(nodes))
workList.Enqueue(ch[k]);
|