added support for printing attributes on calls via Emit

1 files changed, 4 insertions, 1 deletions

diff --git a/Source/Core/AbsyCmd.ssc b/Source/Core/AbsyCmd.ssc
index a546d9c7..e65569b0 100644
--- a/Source/Core/AbsyCmd.ssc
+++ b/Source/Core/AbsyCmd.ssc
@@ -1338,6 +1338,7 @@ namespace Microsoft.Boogie
     public override void Emit(TokenTextWriter! stream, int level)

     {

       stream.Write(this, level, "call ");

+      if (this.Attributes != null) this.Attributes.Emit(stream);

       string sep = "";

       if (Outs.Count > 0) {

           foreach (Expr arg in Outs) {

@@ -1772,7 +1773,9 @@ namespace Microsoft.Boogie
     }

     public override void Emit(TokenTextWriter! stream, int level)

     {

-      stream.Write(this, level, "call forall ");

+      stream.Write(this, level, "call ");

+      if (this.Attributes != null) this.Attributes.Emit(stream);

+      stream.Write("forall ");

       stream.Write(TokenTextWriter.SanitizeIdentifier(callee));

       stream.Write("(");

       string sep = "";