diff options
author | MichalMoskal <unknown> | 2010-10-26 01:36:51 +0000 |
---|---|---|
committer | MichalMoskal <unknown> | 2010-10-26 01:36:51 +0000 |
commit | cd2643c9f8b6069771e0e9ab5ff9f33f975ae4f8 (patch) | |
tree | f6c09e59862e53a014bc5384195fb068f44483e0 /Source/ModelViewer/Namer.cs | |
parent | dcd2453328f448dca66745701038e85563d72bb4 (diff) |
Handle aliases better
Diffstat (limited to 'Source/ModelViewer/Namer.cs')
-rw-r--r-- | Source/ModelViewer/Namer.cs | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/Source/ModelViewer/Namer.cs b/Source/ModelViewer/Namer.cs index 859b718a..5d9f41d9 100644 --- a/Source/ModelViewer/Namer.cs +++ b/Source/ModelViewer/Namer.cs @@ -147,7 +147,7 @@ namespace Microsoft.Boogie.ModelViewer {
string res;
if (canonicalNames.TryGetValue(elt, out res))
- return res;
+ return res; // +" " + elt.ToString();
return elt.ToString();
}
|