From f5ea3b3d29b4fee997a2a0e20f81bcbee4d27e01 Mon Sep 17 00:00:00 2001
From: wuestholz <unknown>
Date: Sun, 13 Jul 2014 16:47:06 +0200
Subject: Refactored how checksums are computed.

---
 Source/Core/AbsyExpr.cs | 8 ++++++--
 1 file changed, 6 insertions(+), 2 deletions(-)

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

diff --git a/Source/Core/AbsyExpr.cs b/Source/Core/AbsyExpr.cs
index ffd95f77..d928e536 100644
--- a/Source/Core/AbsyExpr.cs
+++ b/Source/Core/AbsyExpr.cs
@@ -1802,9 +1802,13 @@ namespace Microsoft.Boogie {
       //Contract.Requires(stream != null);
       //Contract.Requires(args != null);
       this.name.Emit(stream, 0xF0, false);
-      if (stream.UseForComputingChecksums && Func.DependenciesChecksum != null)
+      if (stream.UseForComputingChecksums)
       {
-        stream.Write(string.Format("[dependencies_checksum:{0}]", Func.DependenciesChecksum));
+        var c = Func.DependenciesChecksum;
+        if (c != null)
+        {
+          stream.Write(string.Format("[dependencies_checksum:{0}]", c));
+        }
       }
       stream.Write("(");
       args.Emit(stream);
-- 
cgit v1.2.3