From bb6e253feab04cc13de3132520eac3ffc8150f01 Mon Sep 17 00:00:00 2001
From: wuestholz <unknown>
Date: Sun, 6 Jul 2014 21:34:07 +0200
Subject: Did some refactoring, fixed minor issues, and made it apply the more
 advanced verification result caching even for implementations with errors.

---
 Source/Core/AbsyExpr.cs | 4 ++++
 1 file changed, 4 insertions(+)

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

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