1 files changed, 5 insertions, 0 deletions
diff --git a/Source/Core/AbsyCmd.cs b/Source/Core/AbsyCmd.cs
index 8c6685e4..a7693b00 100644
--- a/Source/Core/AbsyCmd.cs
+++ b/Source/Core/AbsyCmd.cs
@@ -1886,6 +1886,7 @@ namespace Microsoft.Boogie {
   public class CallCmd : CallCommonality, IPotentialErrorNode {
     public string/*!*/ callee { get; set; }
     public Procedure Proc;
+    public LocalVariable AssignedAssumptionVariable;
 
     // Element of the following lists can be null, which means that
     // the call happens with * as these parameters
@@ -2086,6 +2087,10 @@ namespace Microsoft.Boogie {
         Contract.Assert(e != null);
         vars.Add(e.Decl);
       }
+      if (AssignedAssumptionVariable != null)
+      {
+        vars.Add(AssignedAssumptionVariable);
+      }
     }
 
     public override void Typecheck(TypecheckingContext tc)