diff options
author | Valentin Wüstholz <wuestholz@gmail.com> | 2015-06-12 01:04:27 +0200 |
---|---|---|
committer | Valentin Wüstholz <wuestholz@gmail.com> | 2015-06-12 01:04:27 +0200 |
commit | abd4a52488edea217b44419d43d4ca42abea9006 (patch) | |
tree | d2b0faefbcd1d1aa1f5d8f47dc972d9ac6448408 /Source | |
parent | 68fd205cdef86b38365f39c4e9157c8964b3568a (diff) |
Fix issue in checksum computation for lambda expressions.
Diffstat (limited to 'Source')
-rw-r--r-- | Source/Core/LambdaHelper.cs | 4 |
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
|