diff options
| author |  Michal Moskal <michal@moskal.me> | 2011-10-24 18:00:28 -0700 |
|---|---|---|
| committer | Michal Moskal <michal@moskal.me> | 2011-10-24 18:00:28 -0700 |
| commit | 321ceeee73433b2a772cd3435cb2ffaa346fb113 (patch) | |
| tree | 4b93962d99726324f523a24780b5b7f2de1395ed /Source/ModelViewer/Namer.cs | |
| parent | a432e458485a9e0483b573f8902cfe4c20ac4dea (diff) | |
VCC: improvements in showing arrays, addresses, and embeddings
Diffstat (limited to 'Source/ModelViewer/Namer.cs')
| -rw-r--r-- | Source/ModelViewer/Namer.cs | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/Source/ModelViewer/Namer.cs b/Source/ModelViewer/Namer.cs index fce9522d..49ff93ea 100644 --- a/Source/ModelViewer/Namer.cs +++ b/Source/ModelViewer/Namer.cs @@ -106,6 +106,7 @@ namespace Microsoft.Boogie.ModelViewer public virtual string CanonicalName(Model.Element elt)
{
string res;
+ if (elt == null) return "?";
if (canonicalName.TryGetValue(elt, out res)) return res;
NameSeqSuffix suff;
var baseName = CanonicalBaseName(elt, out suff);
|