Fix issue in computation of checksums for indented statements.

1 files changed, 2 insertions, 2 deletions

diff --git a/Source/Core/Absy.cs b/Source/Core/Absy.cs
index 098a47fa..a419fead 100644
--- a/Source/Core/Absy.cs
+++ b/Source/Core/Absy.cs
@@ -4074,7 +4074,7 @@ namespace Microsoft.Boogie {
     public override void Emit(TokenTextWriter stream, int level) {

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

       stream.WriteLine();

-      stream.WriteLine("{0};", Indent(level));

+      stream.WriteLine("{0};", Indent(stream.UseForComputingChecksums ? 0 : level));

       first.Emit(stream, level + 1);

       second.Emit(stream, level + 1);

     }

@@ -4099,7 +4099,7 @@ namespace Microsoft.Boogie {
     public override void Emit(TokenTextWriter stream, int level) {

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

       stream.WriteLine();

-      stream.WriteLine("{0}[]", Indent(level));

+      stream.WriteLine("{0}[]", Indent(stream.UseForComputingChecksums ? 0 : level));

       foreach (RE/*!*/ r in rs) {

         Contract.Assert(r != null);

         r.Emit(stream, level + 1);