diff options
Diffstat (limited to 'Source')
| -rw-r--r-- | Source/Concurrency/LinearSets.cs | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/Source/Concurrency/LinearSets.cs b/Source/Concurrency/LinearSets.cs index c8cb1844..8408bf83 100644 --- a/Source/Concurrency/LinearSets.cs +++ b/Source/Concurrency/LinearSets.cs @@ -72,6 +72,7 @@ namespace Microsoft.Boogie HashSet<Variable> vars = new HashSet<Variable>();
foreach (Variable var in this.availableLinearVars[absy])
{
+ if (var is GlobalVariable) continue;
string domainName = FindDomainName(var);
if (this.linearDomains.ContainsKey(domainName))
{
|