1 files changed, 8 insertions, 2 deletions
diff --git a/Source/Core/AbsyCmd.ssc b/Source/Core/AbsyCmd.ssc
index de40c2e8..723b40e3 100644
--- a/Source/Core/AbsyCmd.ssc
+++ b/Source/Core/AbsyCmd.ssc
@@ -2022,11 +2022,17 @@ namespace Microsoft.Boogie
     public override void Emit(TokenTextWriter! stream, int level)
     {
       stream.Write(this, level, "assert ");
-      if (this.Attributes != null)
-        this.Attributes.Emit(stream);
+      EmitAttributes(stream);
       this.Expr.Emit(stream);
       stream.WriteLine(";");
     }
+    protected void EmitAttributes(TokenTextWriter! stream)
+    {
+      for (QKeyValue kv = this.Attributes; kv != null; kv = kv.Next) {
+        kv.Emit(stream);
+        stream.Write(" ");
+      }
+    }
     public override void Typecheck(TypecheckingContext! tc)
     {
       Expr.Typecheck(tc);