Fixed issue in the verification result caching.

1 files changed, 1 insertions, 3 deletions

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;

         }