diff options
| author |  qadeer <unknown> | 2014-05-21 22:41:38 -0700 |
|---|---|---|
| committer | qadeer <unknown> | 2014-05-21 22:41:38 -0700 |
| commit | 41eed6c762834b29765a6d3a387a6fb5fc57e373 (patch) | |
| tree | dd76891c557efde520bea2d1d1a48266add1ec3b /Source/Concurrency/LinearSets.cs | |
| parent | ea369882d2bf4aae0c44a619df029a04a5c21c2a (diff) | |
a small fix
Diffstat (limited to 'Source/Concurrency/LinearSets.cs')
| -rw-r--r-- | Source/Concurrency/LinearSets.cs | 10 |
1 files changed, 10 insertions, 0 deletions
diff --git a/Source/Concurrency/LinearSets.cs b/Source/Concurrency/LinearSets.cs index 6cba3649..08354ae6 100644 --- a/Source/Concurrency/LinearSets.cs +++ b/Source/Concurrency/LinearSets.cs @@ -527,6 +527,16 @@ namespace Microsoft.Boogie return base.VisitParCallCmd(node);
}
+ public override Requires VisitRequires(Requires requires)
+ {
+ return requires;
+ }
+
+ public override Ensures VisitEnsures(Ensures ensures)
+ {
+ return ensures;
+ }
+
public IEnumerable<Variable> AvailableLinearVars(Absy absy)
{
if (availableLinearVars.ContainsKey(absy))
|