diff options
| author |  Michal Moskal <michal@moskal.me> | 2011-08-07 13:01:17 +0200 |
|---|---|---|
| committer | Michal Moskal <michal@moskal.me> | 2011-08-07 13:01:17 +0200 |
| commit | ea4282c794fc518cb56c91ce8625e1fb4d98d20f (patch) | |
| tree | 6bb76689dd5105065289db115e81a5c56dedf44a /Source/ModelViewer/VccProvider.cs | |
| parent | b08d56a37fc768628e526b6158d4ade03ff1b1de (diff) | |
Fix null-ref
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 1fe322b4..a11199f6 100644 --- a/Source/ModelViewer/VccProvider.cs +++ b/Source/ModelViewer/VccProvider.cs @@ -901,7 +901,7 @@ namespace Microsoft.Boogie.ModelViewer.Vcc } else if (kind == DataKind.Map) {
var elTp = tpl.Args[1];
foreach (var sel in model.Functions)
- if (sel.Arity == 2 && sel.Name.StartsWith("$select.$map_t")) {
+ if (elt != null && sel.Arity == 2 && sel.Name.StartsWith("$select.$map_t")) {
foreach (var app in sel.AppsWithArg(0, elt)) {
var val = WrapForUse(app.Result, elTp);
var edgname = new EdgeName(this, "[%0]", app.Args[1]);
|