From c7a2a70a879e2506f6470e0abab2e03b1b60408a Mon Sep 17 00:00:00 2001
From: wuestholz <unknown>
Date: Mon, 10 Nov 2014 14:01:58 +0100
Subject: Fixed issue in the verification result caching.

---
 Source/Core/AbsyCmd.cs | 4 +---
 1 file changed, 1 insertion(+), 3 deletions(-)

(limited to 'Source/Core/AbsyCmd.cs')

diff --git a/Source/Core/AbsyCmd.cs b/Source/Core/AbsyCmd.cs
index 8f7aa185..066808ae 100644
--- a/Source/Core/AbsyCmd.cs
+++ b/Source/Core/AbsyCmd.cs
@@ -994,9 +994,7 @@ namespace Microsoft.Boogie {
         var assertRequiresCmd = assertCmd as AssertRequiresCmd;
         if (assertRequiresCmd != null)
         {
-          // Add the checksum of the call instead of the assertion itself
-          // because a corresponding counterexample will also have the
-          // checksum of the failing call.
+          impl.AddAssertionChecksum(assertRequiresCmd.Checksum);
           impl.AddAssertionChecksum(assertRequiresCmd.Call.Checksum);
           assertRequiresCmd.SugaredCmdChecksum = assertRequiresCmd.Call.Checksum;
         }
-- 
cgit v1.2.3