From 6452c714971018391c7b49871865e8957cacb203 Mon Sep 17 00:00:00 2001
From: Jason Koenig <unknown>
Date: Fri, 15 Jul 2011 17:42:55 -0700
Subject: Fixed regression test failures due to removal of bodiless methods and
 functions.

---
 Test/VSI-Benchmarks/Answer | 12 ------------
 1 file changed, 12 deletions(-)

(limited to 'Test/VSI-Benchmarks/Answer')

diff --git a/Test/VSI-Benchmarks/Answer b/Test/VSI-Benchmarks/Answer
index 2a4587f4..e2456408 100644
--- a/Test/VSI-Benchmarks/Answer
+++ b/Test/VSI-Benchmarks/Answer
@@ -7,10 +7,6 @@ Dafny program verifier finished with 10 verified, 0 errors
 
 Dafny program verifier finished with 6 verified, 0 errors
 
--------------------- b3.dfy --------------------
-
-Dafny program verifier finished with 10 verified, 0 errors
-
 -------------------- b4.dfy --------------------
 
 Dafny program verifier finished with 11 verified, 0 errors
@@ -22,11 +18,3 @@ Dafny program verifier finished with 22 verified, 0 errors
 -------------------- b6.dfy --------------------
 
 Dafny program verifier finished with 21 verified, 0 errors
-
--------------------- b7.dfy --------------------
-
-Dafny program verifier finished with 23 verified, 0 errors
-
--------------------- b8.dfy --------------------
-
-Dafny program verifier finished with 42 verified, 0 errors
-- 
cgit v1.2.3