From 9dda7cc805664f4d68b79877663182adc829d315 Mon Sep 17 00:00:00 2001
From: wuestholz <unknown>
Date: Tue, 16 Dec 2014 10:14:53 +0100
Subject: Fixed a precondition.

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

(limited to 'Source/Core')

diff --git a/Source/Core/Absy.cs b/Source/Core/Absy.cs
index b491f872..37c86d59 100644
--- a/Source/Core/Absy.cs
+++ b/Source/Core/Absy.cs
@@ -2208,7 +2208,7 @@ namespace Microsoft.Boogie {
     {
       get
       {
-        Contract.Requires(CommandLineOptions.Clo.VerifySnapshots == 0 || DependenciesCollected);
+        Contract.Requires(DependenciesCollected);
 
         if (MD5DependencyChecksum_ == null && MD5Checksum != null)
         {
@@ -2275,7 +2275,7 @@ namespace Microsoft.Boogie {
     {
       get
       {
-        if (dependencyChecksum == null && MD5DependencyChecksum != null)
+        if (dependencyChecksum == null && DependenciesCollected && MD5DependencyChecksum != null)
         {
           dependencyChecksum = BitConverter.ToString(MD5DependencyChecksum);
         }
-- 
cgit v1.2.3