diff options
| -rw-r--r-- | Source/ModelViewer/VccProvider.cs | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/Source/ModelViewer/VccProvider.cs b/Source/ModelViewer/VccProvider.cs index 574e6282..ea213aef 100644 --- a/Source/ModelViewer/VccProvider.cs +++ b/Source/ModelViewer/VccProvider.cs @@ -1038,7 +1038,7 @@ namespace Microsoft.Boogie.ModelViewer.Vcc var edgname = new EdgeName(this, "[%0]", sel.Args[1]);
result.Add(new MapletNode(state, edgname, sel.Result, tp_bool) { Category = NodeCategory.Maplet });
}
- } else if (kind == DataKind.Flat && elt != null) {
+ } else if (kind == DataKind.Flat) {
foreach (var tupl in elt.References) {
if (tupl.Args.Length == 1 && tupl.Args[0] == elt) {
var fname = tupl.Func.Name;
@@ -1071,7 +1071,7 @@ namespace Microsoft.Boogie.ModelViewer.Vcc var args = tupl.Args;
for (int i = 0; i < args.Length; ++i) {
if (args[i] == elt) seenSelf = true;
- else if (IsThisState(curState, args[i])) seenThisState = true;
+ if (IsThisState(curState, args[i])) seenThisState = true;
else if (IsSomeState(args[i])) seenState = true;
}
if (!seenSelf) continue; // not looking for aliases (maybe we should?)
|