diff options
| author |  MichalMoskal <unknown> | 2010-11-04 22:44:53 +0000 |
|---|---|---|
| committer | MichalMoskal <unknown> | 2010-11-04 22:44:53 +0000 |
| commit | ac7906f4e1f400bbc1514b3576db2a4484021db0 (patch) | |
| tree | 99fc90cf06d5a77239cc06c8e242e2f06beb8e4d /Source/ModelViewer/Namer.cs | |
| parent | b3ee26361e48e7b0dce59767c10e09be4e9fee44 (diff) | |
Update matches when switching states
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 26c636c2..fc22afef 100644 --- a/Source/ModelViewer/Namer.cs +++ b/Source/ModelViewer/Namer.cs @@ -177,7 +177,6 @@ namespace Microsoft.Boogie.ModelViewer internal List<EltName> eltNames = new List<EltName>();
Dictionary<Model.Element, EltName> unfoldings = new Dictionary<Model.Element, EltName>();
-
public StateNamer(GlobalNamer gn)
{
globalNamer = gn;
|