From a31ffab29354043034ed4de0be6d2e34506d542c Mon Sep 17 00:00:00 2001
From: rustanleino <unknown>
Date: Sun, 27 Mar 2011 08:10:45 +0000
Subject: Reflect effect of Celebrity.dfy change in previous check-in

---
 Test/sanity/Answer | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'Test/sanity')

diff --git a/Test/sanity/Answer b/Test/sanity/Answer
index a86e36de..98607529 100644
--- a/Test/sanity/Answer
+++ b/Test/sanity/Answer
@@ -1,4 +1,4 @@
 
 Boogie program verifier finished with 1 verified, 0 errors
 
-Dafny program verifier finished with 11 verified, 0 errors
+Dafny program verifier finished with 10 verified, 0 errors
-- 
cgit v1.2.3