From ef007fa516b790fedb2f5430c4069fbb8d1bbb58 Mon Sep 17 00:00:00 2001
From: wuestholz <unknown>
Date: Tue, 30 Jul 2013 11:17:56 -0700
Subject: Make the dependency analysis for snapshot verification take 'where'
 clauses into account.

---
 Test/snapshots/Snapshots3.v1.bpl | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'Test/snapshots/Snapshots3.v1.bpl')

diff --git a/Test/snapshots/Snapshots3.v1.bpl b/Test/snapshots/Snapshots3.v1.bpl
index 329382ac..5eb57e78 100644
--- a/Test/snapshots/Snapshots3.v1.bpl
+++ b/Test/snapshots/Snapshots3.v1.bpl
@@ -1,7 +1,7 @@
 procedure {:checksum "P0$proc#0"} P0();
 ensures G();
 // Action: verify
-implementation {:checksum "P0$impl#0"} P0()
+implementation {:id "P0"} {:checksum "P0$impl#0"} P0()
 {
 }
 
-- 
cgit v1.2.3