diff options
author | mkawa <unknown> | 2009-12-02 21:18:03 +0000 |
---|---|---|
committer | mkawa <unknown> | 2009-12-02 21:18:03 +0000 |
commit | 484464cefdef3c894a2b831e8628b370e3554b90 (patch) | |
tree | 088f5ec7fe2e3738ee0015bc7cabcc7cf72d4d4c /Source/Core/AbsyCmd.ssc | |
parent | 21d86917fe235479e1a3b8e9ee20d5e6d67a8ad5 (diff) |
print attributes in AssertCmd.Emit
Diffstat (limited to 'Source/Core/AbsyCmd.ssc')
-rw-r--r-- | Source/Core/AbsyCmd.ssc | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/Source/Core/AbsyCmd.ssc b/Source/Core/AbsyCmd.ssc index c0158d13..de40c2e8 100644 --- a/Source/Core/AbsyCmd.ssc +++ b/Source/Core/AbsyCmd.ssc @@ -2022,6 +2022,8 @@ namespace Microsoft.Boogie public override void Emit(TokenTextWriter! stream, int level)
{
stream.Write(this, level, "assert ");
+ if (this.Attributes != null)
+ this.Attributes.Emit(stream);
this.Expr.Emit(stream);
stream.WriteLine(";");
}
|