diff options
| author |  qadeer <unknown> | 2014-04-16 20:45:10 -0700 |
|---|---|---|
| committer | qadeer <unknown> | 2014-04-16 20:45:10 -0700 |
| commit | 2e190e24541eb9608e1d4ba18874c2403156e792 (patch) | |
| tree | a89ccb4ca3841b4f748219237f94e291568c204a /Source/Concurrency/LinearSets.cs | |
| parent | 934a8491d4526cebfc30d8527cf49f3dc8b5e908 (diff) | |
fixed some bugs in the previous check ins
Diffstat (limited to 'Source/Concurrency/LinearSets.cs')
| -rw-r--r-- | Source/Concurrency/LinearSets.cs | 4 |
1 files changed, 1 insertions, 3 deletions
diff --git a/Source/Concurrency/LinearSets.cs b/Source/Concurrency/LinearSets.cs index f203e3cf..6cba3649 100644 --- a/Source/Concurrency/LinearSets.cs +++ b/Source/Concurrency/LinearSets.cs @@ -14,9 +14,7 @@ namespace Microsoft.Boogie {
if (iter == null) return null;
iter.Next = RemoveLinearAttribute(iter.Next);
- bool iterIsNonLinear = QKeyValue.FindStringAttribute(iter, "linear") == null &&
- QKeyValue.FindStringAttribute(iter, "cnst") == null;
- return iterIsNonLinear ? iter : iter.Next;
+ return (iter.Key == "linear" || iter.Key == "cnst") ? iter.Next : iter;
}
public override Variable VisitVariable(Variable node)
|