From 62abed579e970785ad43041c63dca38eb9206906 Mon Sep 17 00:00:00 2001
From: Rustan Leino <unknown>
Date: Mon, 3 Nov 2014 13:05:04 -0800
Subject: Updated a test case for new syntax and convensions

---
 Test/dafny1/ListContents.dfy.expect | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'Test/dafny1/ListContents.dfy.expect')

diff --git a/Test/dafny1/ListContents.dfy.expect b/Test/dafny1/ListContents.dfy.expect
index 249e77e5..f3a9c95f 100644
--- a/Test/dafny1/ListContents.dfy.expect
+++ b/Test/dafny1/ListContents.dfy.expect
@@ -1,2 +1,2 @@
 
-Dafny program verifier finished with 9 verified, 0 errors
+Dafny program verifier finished with 11 verified, 0 errors
-- 
cgit v1.2.3