Fix issue with computation of statement checksums for lambda expressions.

1 files changed, 9 insertions, 1 deletions

diff --git a/Source/Core/AbsyExpr.cs b/Source/Core/AbsyExpr.cs
index c19140d7..c816d7f2 100644
--- a/Source/Core/AbsyExpr.cs
+++ b/Source/Core/AbsyExpr.cs
@@ -1983,7 +1983,15 @@ namespace Microsoft.Boogie {
     virtual public void Emit(IList<Expr> args, TokenTextWriter stream, int contextBindingStrength, bool fragileContext) {

       //Contract.Requires(stream != null);

       //Contract.Requires(args != null);

-      this.name.Emit(stream, 0xF0, false);

+

+      if (stream.UseForComputingChecksums && Func.OriginalLambdaExprAsString != null)

+      {

+        stream.Write(Func.OriginalLambdaExprAsString);

+      }

+      else

+      {

+        this.name.Emit(stream, 0xF0, false);

+      }

       if (stream.UseForComputingChecksums)

       {

         var c = Func.DependencyChecksum;