added attributes to CallForallCmd as well

1 files changed, 9 insertions, 0 deletions

diff --git a/Source/Core/AbsyCmd.ssc b/Source/Core/AbsyCmd.ssc
index 72ffba95..a546d9c7 100644
--- a/Source/Core/AbsyCmd.ssc
+++ b/Source/Core/AbsyCmd.ssc
@@ -1755,12 +1755,21 @@ namespace Microsoft.Boogie
     // actual non-wildcard arguments

     public TypeSeq InstantiatedTypes;

 

+    public QKeyValue Attributes;

+	

     public CallForallCmd(IToken! tok, string! callee, List<Expr>! ins)

       : base(tok)

     {

       this.callee = callee;

       this.Ins = ins;

     }

+    public CallForallCmd(IToken! tok, string! callee, List<Expr>! ins, QKeyValue kv)

+      : base(tok)

+    {

+      this.callee = callee;

+      this.Ins = ins;

+      this.Attributes = kv;

+    }

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

     {

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