diff options
author | Michal Moskal <michal@moskal.me> | 2011-12-07 11:14:46 -0800 |
---|---|---|
committer | Michal Moskal <michal@moskal.me> | 2011-12-07 11:14:46 -0800 |
commit | d58f452f518d5b14b32534d909b6436a3577576b (patch) | |
tree | 3bcb4cc62af26a6a10bd651e2fa1a1a5fd01a900 /Source/Core | |
parent | be9a2d297ccd8900cccc750c15a9c02c9e23a83b (diff) | |
parent | 5023898ea9b2204593bf0cc685cb57be7fade17c (diff) |
Merge
Diffstat (limited to 'Source/Core')
-rw-r--r-- | Source/Core/Absy.cs | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/Source/Core/Absy.cs b/Source/Core/Absy.cs index 18a0441a..d6a2a74d 100644 --- a/Source/Core/Absy.cs +++ b/Source/Core/Absy.cs @@ -2018,6 +2018,7 @@ namespace Microsoft.Boogie { stream.WriteLine(this, level, "// " + Comment);
}
stream.Write(this, level, "{0}requires ", Free ? "free " : "");
+ Cmd.EmitAttributes(stream, Attributes);
this.Condition.Emit(stream);
stream.WriteLine(";");
}
|