From 116e29290d21ce4bb805c4a8803c99a2161cf5ab Mon Sep 17 00:00:00 2001
From: leino <unknown>
Date: Fri, 29 May 2015 15:23:24 -0700
Subject: Improvements to Nipkow and Klein test cases:  Changed imap to map,
 removed need for Total

---
 Test/dafny4/NipkowKlein-chapter7.dfy.expect | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'Test/dafny4/NipkowKlein-chapter7.dfy.expect')

diff --git a/Test/dafny4/NipkowKlein-chapter7.dfy.expect b/Test/dafny4/NipkowKlein-chapter7.dfy.expect
index e08b3632..90432af3 100644
--- a/Test/dafny4/NipkowKlein-chapter7.dfy.expect
+++ b/Test/dafny4/NipkowKlein-chapter7.dfy.expect
@@ -1,2 +1,2 @@
 
-Dafny program verifier finished with 54 verified, 0 errors
+Dafny program verifier finished with 49 verified, 0 errors
-- 
cgit v1.2.3