Fixed issue involving axioms in the dependency analysis used for verification result caching.

1 files changed, 1 insertions, 1 deletions

diff --git a/Source/Core/LambdaHelper.cs b/Source/Core/LambdaHelper.cs
index 6b435836..81da2cce 100644
--- a/Source/Core/LambdaHelper.cs
+++ b/Source/Core/LambdaHelper.cs
@@ -96,7 +96,7 @@ namespace Microsoft.Boogie {
         if (0 < CommandLineOptions.Clo.VerifySnapshots && QKeyValue.FindStringAttribute(lambdaAttrs, "checksum") == null)

         {

           // Attach a dummy checksum to avoid issues in the dependency analysis.

-          var checksumAttr = new QKeyValue(lambda.tok, "checksum", new List<object> { "dummy" }, null);

+          var checksumAttr = new QKeyValue(lambda.tok, "checksum", new List<object> { "stable" }, null);

           if (lambdaAttrs == null)

           {

             lambdaAttrs = checksumAttr;