From 0d82fe57a792b4b68826a9b0c72cf386052f1ff0 Mon Sep 17 00:00:00 2001
From: wuestholz <unknown>
Date: Sun, 3 Aug 2014 13:42:36 +0200
Subject: Minor refactoring

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

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

diff --git a/Source/Core/AbsyExpr.cs b/Source/Core/AbsyExpr.cs
index 33b3a818..95a11a65 100644
--- a/Source/Core/AbsyExpr.cs
+++ b/Source/Core/AbsyExpr.cs
@@ -1804,10 +1804,10 @@ namespace Microsoft.Boogie {
       this.name.Emit(stream, 0xF0, false);
       if (stream.UseForComputingChecksums)
       {
-        var c = Func.DependenciesChecksum;
+        var c = Func.DependencyChecksum;
         if (c != null)
         {
-          stream.Write(string.Format("[dependencies_checksum:{0}]", c));
+          stream.Write(string.Format("[dependency_checksum:{0}]", c));
         }
       }
       stream.Write("(");
-- 
cgit v1.2.3