diff options
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
|