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