print attributes in AssertCmd.Emit

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(";");

     }