From 437bde8d029afab9631e5ce539600dcfcaeace42 Mon Sep 17 00:00:00 2001
From: Shaz Qadeer <qadeer@microsoft.com>
Date: Thu, 3 Sep 2015 09:07:57 -0700
Subject: fixed my earlier to make it nicer

---
 Source/Concurrency/LinearSets.cs | 5 +----
 1 file changed, 1 insertion(+), 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)
-- 
cgit v1.2.3