diff options
| author |  qadeer <unknown> | 2014-02-20 21:39:22 -0800 |
|---|---|---|
| committer | qadeer <unknown> | 2014-02-20 21:39:22 -0800 |
| commit | 8b07f660070fcc551fe2d04c5ef197dde4c02596 (patch) | |
| tree | dcf60642560567ee80a9c15987e281673d0995bc /Source | |
| parent | 570b2104a5a4ba74d0bd3d845f6625ecd5825df7 (diff) | |
fixed a bug in desugaring of linear variables
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))
{
|