added syntax for par call and ParCallCmd

1 files changed, 2 insertions, 0 deletions

diff --git a/Source/Concurrency/MoverCheck.cs b/Source/Concurrency/MoverCheck.cs
index 53d61ba5..2b6b406a 100644
--- a/Source/Concurrency/MoverCheck.cs
+++ b/Source/Concurrency/MoverCheck.cs
@@ -21,6 +21,7 @@ namespace Microsoft.Boogie
         public Procedure proc;

         public MoverType moverType;

         public int phaseNum;

+        public HashSet<int> callerPhaseNums;

         public List<AssertCmd> thisGate;

         public CodeExpr thisAction;

         public List<Variable> thisInParams;

@@ -45,6 +46,7 @@ namespace Microsoft.Boogie
             this.proc = proc;

             this.moverType = moverType;

             this.phaseNum = phaseNum;

+            this.callerPhaseNums = new HashSet<int>();

             this.thisGate = new List<AssertCmd>();

             this.thisAction = codeExpr;

             this.thisInParams = new List<Variable>();