From 75955115cf39ccdccfc2a3df6ac714e7c6c29bf9 Mon Sep 17 00:00:00 2001
From: rustanleino <unknown>
Date: Sun, 21 Nov 2010 12:17:57 +0000
Subject: Dafny: Updated VSComp2010/Answer to correspond to recently updated
 test file

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

(limited to 'Test/VSComp2010')

diff --git a/Test/VSComp2010/Answer b/Test/VSComp2010/Answer
index 74aaae2b..50f20679 100644
--- a/Test/VSComp2010/Answer
+++ b/Test/VSComp2010/Answer
@@ -16,7 +16,7 @@ Compiled program written to out.cs
 
 -------------------- Problem4-Queens.dfy --------------------
 
-Dafny program verifier finished with 15 verified, 0 errors
+Dafny program verifier finished with 11 verified, 0 errors
 Compiled program written to out.cs
 
 -------------------- Problem5-DoubleEndedQueue.dfy --------------------
-- 
cgit v1.2.3