From 3c6bbc3ee8a0452bcca193217957e6ea5e6e23f4 Mon Sep 17 00:00:00 2001
From: leino <unknown>
Date: Wed, 12 Aug 2015 23:05:44 -0700
Subject: Changed dafny3/Filter.dfy to use higher-order functions instead of
 the previous function handles

---
 Test/dafny3/Filter.dfy.expect | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'Test/dafny3/Filter.dfy.expect')

diff --git a/Test/dafny3/Filter.dfy.expect b/Test/dafny3/Filter.dfy.expect
index 91aa9b47..6ba9b9bc 100644
--- a/Test/dafny3/Filter.dfy.expect
+++ b/Test/dafny3/Filter.dfy.expect
@@ -1,2 +1,2 @@
 
-Dafny program verifier finished with 43 verified, 0 errors
+Dafny program verifier finished with 42 verified, 0 errors
-- 
cgit v1.2.3