diff options
author | wuestholz <unknown> | 2013-08-05 17:47:55 -0700 |
---|---|---|
committer | wuestholz <unknown> | 2013-08-05 17:47:55 -0700 |
commit | a9c60110139c15ec65c50360763c75014b9eef82 (patch) | |
tree | a3ffbed03df822f6bb17f0df921ebc47663b6800 /Source/ModelViewer/Main.cs | |
parent | 1a34c03dbe4bf160afc884700cfc393273eda9bc (diff) |
Changed BVD to display shortened names if they are unique.
Diffstat (limited to 'Source/ModelViewer/Main.cs')
-rw-r--r-- | Source/ModelViewer/Main.cs | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/Source/ModelViewer/Main.cs b/Source/ModelViewer/Main.cs index c15ea167..c5685194 100644 --- a/Source/ModelViewer/Main.cs +++ b/Source/ModelViewer/Main.cs @@ -821,6 +821,10 @@ namespace Microsoft.Boogie.ModelViewer }
var name = dispNode.Name;
+ if (name != dispNode.ShortName)
+ {
+ name = dispNode.ShortName;
+ }
if (IsMatchListItem) {
Util.Assert(active);
|