From 3c2c0f9b5705e57ee888ea03981f42409f8ea3fe Mon Sep 17 00:00:00 2001
From: wuestholz <unknown>
Date: Wed, 15 Oct 2014 10:47:42 +0200
Subject: Fix issue in computation of checksums for calls.

---
 Source/ExecutionEngine/VerificationResultCache.cs | 5 +----
 1 file changed, 1 insertion(+), 4 deletions(-)

(limited to 'Source/ExecutionEngine')

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;
         }
       }
 
-- 
cgit v1.2.3