diff options
| author |  MichalMoskal <unknown> | 2010-12-16 01:46:09 +0000 |
|---|---|---|
| committer | MichalMoskal <unknown> | 2010-12-16 01:46:09 +0000 |
| commit | 171f72b199e858953c7a82fb15aa80d066720aa2 (patch) | |
| tree | 7cca49b29ff0a20412969a8f514e27447f8906d2 | |
| parent | 95d9ced8b21d82a6d9005e1f81f0cefff059a8db (diff) | |
Search in long names, not the short ones
| -rw-r--r-- | Source/ModelViewer/TreeSkeleton.cs | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/Source/ModelViewer/TreeSkeleton.cs b/Source/ModelViewer/TreeSkeleton.cs index fa758ea5..e1bc678a 100644 --- a/Source/ModelViewer/TreeSkeleton.cs +++ b/Source/ModelViewer/TreeSkeleton.cs @@ -159,7 +159,7 @@ namespace Microsoft.Boogie.ModelViewer var node = displayNodes[stateId];
if (node == null)
return false;
- var s1 = node.Name.ToLower();
+ var s1 = LongName(stateId).ToLower();
var s2 = node.Value.ToLower();
if (eq != null && node.Element != eq)
|