diff options
author | 2014-01-20 11:55:16 -0800 | |
---|---|---|
committer | 2014-01-20 11:55:16 -0800 | |
commit | e39d4ac2640c3e5cf7928fd984d7ed43d7390db7 (patch) | |
tree | 22626f77870d7e050171bfd77692bd93a8228395 /Source/Concurrency | |
parent | 87d1d4985a6b391458613ee930cade29dcf8577b (diff) |
bug fix in handling of parallel call
Diffstat (limited to 'Source/Concurrency')
-rw-r--r-- | Source/Concurrency/OwickiGries.cs | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/Source/Concurrency/OwickiGries.cs b/Source/Concurrency/OwickiGries.cs index 85fce9ff..435e72bf 100644 --- a/Source/Concurrency/OwickiGries.cs +++ b/Source/Concurrency/OwickiGries.cs @@ -467,6 +467,7 @@ namespace Microsoft.Boogie count++;
}
proc = new Procedure(Token.NoToken, procName, new List<TypeVariable>(), inParams, outParams, requiresSeq, new List<IdentifierExpr>(), ensuresSeq);
+ proc.AddAttribute("yields");
asyncAndParallelCallDesugarings[procName] = proc;
}
CallCmd dummyCallCmd = new CallCmd(Token.NoToken, proc.Name, ins, outs);
|