diff options
| author |  qadeer <unknown> | 2014-12-05 16:41:23 -0800 |
|---|---|---|
| committer | qadeer <unknown> | 2014-12-05 16:41:23 -0800 |
| commit | eceff3c25df3be34a5abafbb9dcb9ad550a11d33 (patch) | |
| tree | c2436d70162713de83553dc4f66fde87f2f9f27e /Source/Concurrency/LinearSets.cs | |
| parent | a43d167fe29d882a4bdf1e1b9fa2be91310e4a99 (diff) | |
fixed bug due to incomplete erasure of :linear attribute
Diffstat (limited to 'Source/Concurrency/LinearSets.cs')
| -rw-r--r-- | Source/Concurrency/LinearSets.cs | 6 |
1 files changed, 6 insertions, 0 deletions
diff --git a/Source/Concurrency/LinearSets.cs b/Source/Concurrency/LinearSets.cs index 0146ad75..e3891c18 100644 --- a/Source/Concurrency/LinearSets.cs +++ b/Source/Concurrency/LinearSets.cs @@ -22,6 +22,12 @@ namespace Microsoft.Boogie node.Attributes = RemoveLinearAttribute(node.Attributes);
return base.VisitVariable(node);
}
+
+ public override Function VisitFunction(Function node)
+ {
+ node.Attributes = RemoveLinearAttribute(node.Attributes);
+ return base.VisitFunction(node);
+ }
}
public enum LinearKind {
|