Fix issue in checksum computation for lambda expressions.

1 files changed, 2 insertions, 2 deletions

diff --git a/Source/Core/LambdaHelper.cs b/Source/Core/LambdaHelper.cs
index d07eaac6..0d115777 100644
--- a/Source/Core/LambdaHelper.cs
+++ b/Source/Core/LambdaHelper.cs
@@ -105,7 +105,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> { "stable" }, null);

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

           if (lambdaAttrs == null)

           {

             lambdaAttrs = checksumAttr;

@@ -256,4 +256,4 @@ namespace Microsoft.Boogie {
     }

   }

 

-} // end namespace
\ No newline at end of file
+} // end namespace