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