From faf1c46b1e67ab4c3d8a1c82974b0499015a83d3 Mon Sep 17 00:00:00 2001
From: rustanleino <unknown>
Date: Fri, 7 Aug 2009 17:21:13 +0000
Subject: Removed Output files.  These are created on a local machine when the
 tests are run.

---
 Test/textbook/Output | 12 ------------
 1 file changed, 12 deletions(-)
 delete mode 100644 Test/textbook/Output

(limited to 'Test/textbook')

diff --git a/Test/textbook/Output b/Test/textbook/Output
deleted file mode 100644
index 9e2227dc..00000000
--- a/Test/textbook/Output
+++ /dev/null
@@ -1,12 +0,0 @@
-
------------------------------- Find.bpl ---------------------
-
-Boogie program verifier finished with 2 verified, 0 errors
-
------------------------------- DutchFlag.bpl ---------------------
-
-Boogie program verifier finished with 1 verified, 0 errors
-
------------------------------- Bubble.bpl ---------------------
-
-Boogie program verifier finished with 1 verified, 0 errors
-- 
cgit v1.2.3