From abd4a52488edea217b44419d43d4ca42abea9006 Mon Sep 17 00:00:00 2001
From: Valentin Wüstholz <wuestholz@gmail.com>
Date: Fri, 12 Jun 2015 01:04:27 +0200
Subject: Fix issue in checksum computation for lambda expressions.

---
 Source/Core/LambdaHelper.cs | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

(limited to 'Source')

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