From 88acfa270c5d94547d62b1822c7e4abcd0ea640b Mon Sep 17 00:00:00 2001
From: wuestholz <unknown>
Date: Mon, 26 Jan 2015 19:18:52 +0100
Subject: Worked on the verification result caching (statement checksums).

---
 Source/Core/AbsyExpr.cs | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'Source/Core/AbsyExpr.cs')

diff --git a/Source/Core/AbsyExpr.cs b/Source/Core/AbsyExpr.cs
index e2113ab5..4a7db752 100644
--- a/Source/Core/AbsyExpr.cs
+++ b/Source/Core/AbsyExpr.cs
@@ -754,7 +754,7 @@ namespace Microsoft.Boogie {
     }
     public override void Emit(TokenTextWriter stream, int contextBindingStrength, bool fragileContext) {
       //Contract.Requires(stream != null);
-      if (CommandLineOptions.Clo.PrintWithUniqueASTIds) {
+      if (CommandLineOptions.Clo.PrintWithUniqueASTIds && !stream.UseForComputingChecksums) {
         stream.Write("{0}^^", this.Decl == null ? "NoDecl" : "h" + this.Decl.GetHashCode());
       }
       stream.Write(this, "{0}", TokenTextWriter.SanitizeIdentifier(this.Name));
-- 
cgit v1.2.3