From b8984d6c6d7495f19c70bbc1e3a364f8b0a4e206 Mon Sep 17 00:00:00 2001
From: Valentin Wüstholz <wuestholz@gmail.com>
Date: Sun, 17 May 2015 13:42:49 +0200
Subject: Minor refactoring

---
 Source/Core/AbsyCmd.cs | 15 ---------------
 1 file changed, 15 deletions(-)

(limited to 'Source/Core')

diff --git a/Source/Core/AbsyCmd.cs b/Source/Core/AbsyCmd.cs
index eb8b8e1e..f659f9ea 100644
--- a/Source/Core/AbsyCmd.cs
+++ b/Source/Core/AbsyCmd.cs
@@ -1529,18 +1529,6 @@ namespace Microsoft.Boogie {
     }
 
     public override void Emit(TokenTextWriter stream, int level) {
-      if (stream.UseForComputingChecksums)
-      {
-        var lhs = Lhss.FirstOrDefault() as SimpleAssignLhs;
-        if (lhs != null
-            && lhs.AssignedVariable.Decl != null
-            && (QKeyValue.FindBoolAttribute(lhs.AssignedVariable.Decl.Attributes, "assumption")
-                || lhs.AssignedVariable.Decl.Name.Contains("##old##")))
-        {
-          return;
-        }
-      }
-      
       stream.Write(this, level, "");
 
       string/*!*/ sep = "";
@@ -3213,9 +3201,6 @@ namespace Microsoft.Boogie {
     }
     public override void Emit(TokenTextWriter stream, int level) {
       //Contract.Requires(stream != null);
-
-      if (stream.UseForComputingChecksums && QKeyValue.FindBoolAttribute(Attributes, "precondition_previous_snapshot")) { return; }
-
       stream.Write(this, level, "assume ");
       EmitAttributes(stream, Attributes);
       this.Expr.Emit(stream);
-- 
cgit v1.2.3