From e105e36050283163c3d07a3aa3c3f522093c7c7a Mon Sep 17 00:00:00 2001
From: leino <unknown>
Date: Fri, 1 May 2015 14:02:46 -0700
Subject: Answer file

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

(limited to 'Test/hofs')

diff --git a/Test/hofs/ReadsReads.dfy.expect b/Test/hofs/ReadsReads.dfy.expect
index 44a95b6d..06dfd8a7 100644
--- a/Test/hofs/ReadsReads.dfy.expect
+++ b/Test/hofs/ReadsReads.dfy.expect
@@ -36,4 +36,4 @@ Execution trace:
     ReadsReads.dfy(95,14): anon15_Else
     (0,0): anon21_Then
 
-Dafny program verifier finished with 17 verified, 9 errors
+Dafny program verifier finished with 19 verified, 9 errors
-- 
cgit v1.2.3