diff options
| author |  Rustan Leino <leino@microsoft.com> | 2011-12-05 23:08:25 -0800 |
|---|---|---|
| committer | Rustan Leino <leino@microsoft.com> | 2011-12-05 23:08:25 -0800 |
| commit | 1dcb9b3aa68245791e667f7354ada0dac1fbeddb (patch) | |
| tree | 1f148b11bdaeb3aed4030b63d39d4b673c378d0e /Source/Core/Absy.cs | |
| parent | 95bb8b3b4454fdc1a14fd67b22a5ac6183135cfd (diff) | |
| parent | b5eca423560fa18e89d7a03c3b8a2baa5dce3249 (diff) | |
Merge
Diffstat (limited to 'Source/Core/Absy.cs')
| -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 402905a3..5f7328d1 100644 --- a/Source/Core/Absy.cs +++ b/Source/Core/Absy.cs @@ -2017,6 +2017,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(";");
}
|