fixed a crash when there is no collector

1 files changed, 2 insertions, 0 deletions

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)