summaryrefslogtreecommitdiff
path: root/Source
diff options
context:
space:
mode:
authorGravatar Shaz Qadeer <qadeer@microsoft.com>2015-09-03 09:07:57 -0700
committerGravatar Shaz Qadeer <qadeer@microsoft.com>2015-09-03 09:07:57 -0700
commit437bde8d029afab9631e5ce539600dcfcaeace42 (patch)
tree1c4d929b47fc414e88a906348014720bdb0c330c /Source
parentff02bddd8982e92d623b0342e7b079edfaa9b366 (diff)
fixed my earlier to make it nicer
Diffstat (limited to 'Source')
-rw-r--r--Source/Concurrency/LinearSets.cs5
1 files changed, 1 insertions, 4 deletions
diff --git a/Source/Concurrency/LinearSets.cs b/Source/Concurrency/LinearSets.cs
index f086dd84..f654b688 100644
--- a/Source/Concurrency/LinearSets.cs
+++ b/Source/Concurrency/LinearSets.cs
@@ -624,14 +624,11 @@ namespace Microsoft.Boogie
foreach (Variable v in AvailableLinearVars(absy))
{
var domainName = FindDomainName(v);
- if (!linearDomains.ContainsKey(domainName)) continue;
domainNameToScope[domainName].Add(v);
}
- foreach (Variable v in program.GlobalVariables)
+ foreach (Variable v in globalVarToDomainName.Keys)
{
var domainName = FindDomainName(v);
- if (domainName == null) continue;
- if (!linearDomains.ContainsKey(domainName)) continue;
domainNameToScope[domainName].Add(v);
}
foreach (string domainName in linearDomains.Keys)