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