1 files changed, 1 insertions, 4 deletions
diff --git a/Source/ExecutionEngine/VerificationResultCache.cs b/Source/ExecutionEngine/VerificationResultCache.cs
index 1de1a0ce..3d145c53 100644
--- a/Source/ExecutionEngine/VerificationResultCache.cs
+++ b/Source/ExecutionEngine/VerificationResultCache.cs
@@ -253,10 +253,7 @@ namespace Microsoft.Boogie
           var assumed = new AssignCmd(Token.NoToken, new List<AssignLhs> { lhs }, new List<Expr> { rhs });
 
           node.ExtendDesugaring(before, new List<Cmd> { assumed });
-        }
-        else
-        {
-          node.EmitDependencyChecksum = true;
+          node.ProcDependencyChecksumInPreviousSnapshot = oldProc.DependencyChecksum;
         }
       }