From ff02bddd8982e92d623b0342e7b079edfaa9b366 Mon Sep 17 00:00:00 2001
From: Shaz Qadeer <qadeer@microsoft.com>
Date: Wed, 2 Sep 2015 20:14:00 -0700
Subject: fixed a crash when there is no collector

---
 Source/Concurrency/LinearSets.cs | 2 ++
 1 file changed, 2 insertions(+)

(limited to 'Source')

diff --git a/Source/Concurrency/LinearSets.cs b/Source/Concurrency/LinearSets.cs
index 0fa04b1b..f086dd84 100644
--- a/Source/Concurrency/LinearSets.cs
+++ b/Source/Concurrency/LinearSets.cs
@@ -624,12 +624,14 @@ 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)
             {
                 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