From b4648bc600a7f566aa150864950a6385ce3bd9af Mon Sep 17 00:00:00 2001
From: Rustan Leino <unknown>
Date: Mon, 10 Mar 2014 20:56:58 -0700
Subject: Added a test case from the ACL2 book

---
 Test/dafny4/Answer | 4 ++++
 1 file changed, 4 insertions(+)

(limited to 'Test/dafny4/Answer')

diff --git a/Test/dafny4/Answer b/Test/dafny4/Answer
index 61eedf16..450ca16e 100644
--- a/Test/dafny4/Answer
+++ b/Test/dafny4/Answer
@@ -33,3 +33,7 @@ Dafny program verifier finished with 33 verified, 0 errors
 -------------------- Circ.dfy --------------------
 
 Dafny program verifier finished with 16 verified, 0 errors
+
+-------------------- ACL2-extractor.dfy --------------------
+
+Dafny program verifier finished with 33 verified, 0 errors
-- 
cgit v1.2.3