From 4afef98f9a86e41be450520cc4329e5e55e6c52b Mon Sep 17 00:00:00 2001 From: Michal Moskal Date: Sat, 28 Jan 2012 17:20:46 -0500 Subject: VCC: fixes in function visibility --- Source/ModelViewer/VccProvider.cs | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) (limited to 'Source/ModelViewer') 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?) -- cgit v1.2.3