From c1b06a908ab1ed746672dd42eaf9417916a297cc Mon Sep 17 00:00:00 2001
From: Shaz Qadeer <qadeer@microsoft.com>
Date: Thu, 1 Oct 2015 09:40:42 -0700
Subject: another fix requested by Chris verification is performed now for all
 created layers

---
 Test/civl/bar.bpl.expect | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'Test/civl/bar.bpl.expect')

diff --git a/Test/civl/bar.bpl.expect b/Test/civl/bar.bpl.expect
index 810c93bf..be6722fe 100644
--- a/Test/civl/bar.bpl.expect
+++ b/Test/civl/bar.bpl.expect
@@ -10,4 +10,4 @@ Execution trace:
     (0,0): anon00
     (0,0): inline$Impl_YieldChecker_PC_1$0$L0
 
-Boogie program verifier finished with 3 verified, 2 errors
+Boogie program verifier finished with 8 verified, 2 errors
-- 
cgit v1.2.3