diff options
author | 2013-03-09 19:50:03 -0800 | |
---|---|---|
committer | 2013-03-09 19:50:03 -0800 | |
commit | 7aa05d443ffc7af875050af29295d81561202a96 (patch) | |
tree | 5533b19b2e5677f5a82ad8361e0bffeff5fc61b3 /Source | |
parent | a3c14f3f4617f875306370c3a210314cd7005695 (diff) |
fixed emitter for CallCmd to include async
Diffstat (limited to 'Source')
-rw-r--r-- | Source/Core/AbsyCmd.cs | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/Source/Core/AbsyCmd.cs b/Source/Core/AbsyCmd.cs index e62a98cb..dca9b066 100644 --- a/Source/Core/AbsyCmd.cs +++ b/Source/Core/AbsyCmd.cs @@ -1816,6 +1816,9 @@ namespace Microsoft.Boogie { if (IsFree) {
stream.Write("free ");
}
+ if (IsAsync) {
+ stream.Write("async ");
+ }
stream.Write("call ");
EmitAttributes(stream, Attributes);
string sep = "";
|