diff options
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();
}
|