Fix issue in computation of checksums for assume statements.

1 files changed, 4 insertions, 1 deletions

diff --git a/Source/Core/AbsyCmd.cs b/Source/Core/AbsyCmd.cs
index 95e71b90..838699c1 100644
--- a/Source/Core/AbsyCmd.cs
+++ b/Source/Core/AbsyCmd.cs
@@ -2867,7 +2867,10 @@ namespace Microsoft.Boogie {
       if (stream.UseForComputingChecksums && QKeyValue.FindBoolAttribute(Attributes, "precondition_previous_snapshot")) { return; }

 

       stream.Write(this, level, "assume ");

-      EmitAttributes(stream, Attributes);

+      if (!stream.UseForComputingChecksums)

+      {

+        EmitAttributes(stream, Attributes);

+      }

       this.Expr.Emit(stream);

       stream.WriteLine(";");

     }