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/VccProvider.cs | |
| parent | 1a34c03dbe4bf160afc884700cfc393273eda9bc (diff) | |
Changed BVD to display shortened names if they are unique.
Diffstat (limited to 'Source/ModelViewer/VccProvider.cs')
| -rw-r--r-- | Source/ModelViewer/VccProvider.cs | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/Source/ModelViewer/VccProvider.cs b/Source/ModelViewer/VccProvider.cs index b4540717..ae062c93 100644 --- a/Source/ModelViewer/VccProvider.cs +++ b/Source/ModelViewer/VccProvider.cs @@ -1517,7 +1517,7 @@ namespace Microsoft.Boogie.ModelViewer.Vcc this.realName = realName;
}
- public string ShortName
+ public override string ShortName
{
set { this.name = new EdgeName(value); }
get { return this.name.ToString(); }
|