From 4a722d4576f4afdb578552a48da948d1010733e6 Mon Sep 17 00:00:00 2001
From: wuestholz <unknown>
Date: Wed, 15 Oct 2014 23:49:55 +0200
Subject: Worked on the verification result caching.

---
 Test/snapshots/runtest.snapshot.expect | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'Test/snapshots')

diff --git a/Test/snapshots/runtest.snapshot.expect b/Test/snapshots/runtest.snapshot.expect
index 899cd914..db470ef3 100644
--- a/Test/snapshots/runtest.snapshot.expect
+++ b/Test/snapshots/runtest.snapshot.expect
@@ -120,7 +120,7 @@ Boogie program verifier finished with 0 verified, 2 errors
 Snapshots19.v0.bpl(7,5): Error BP5001: This assertion might not hold.
 
 Boogie program verifier finished with 0 verified, 1 error
-Snapshots19.v1.bpl(7,5): Error BP5001: This assertion might not hold.
+Snapshots19.v0.bpl(7,5): Error BP5001: This assertion might not hold.
 
 Boogie program verifier finished with 0 verified, 1 error
 Snapshots20.v0.bpl(13,9): Error BP5001: This assertion might not hold.
-- 
cgit v1.2.3