Made it never include the statement checksum when printing assert statements.

1 files changed, 0 insertions, 5 deletions

diff --git a/Source/Core/AbsyCmd.cs b/Source/Core/AbsyCmd.cs
index b2d2c2e8..ab99102a 100644
--- a/Source/Core/AbsyCmd.cs
+++ b/Source/Core/AbsyCmd.cs
@@ -2715,11 +2715,6 @@ namespace Microsoft.Boogie {
       stream.Write(this, level, "assert ");

       EmitAttributes(stream, Attributes);

       this.Expr.Emit(stream);

-      if (1 < CommandLineOptions.Clo.VerifySnapshots && !stream.UseForComputingChecksums)

-      {

-        var cs = Checksum != null ? BitConverter.ToString(Checksum) : "<unknown>";

-        stream.Write(string.Format(" /* checksum: {0} */ ", cs));

-      }

       stream.WriteLine(";");

     }

     public override void Resolve(ResolutionContext rc) {