Refactored how checksums are computed.

1 files changed, 6 insertions, 2 deletions

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);