From 1697a133cababe66fef1fbf7a1ed9036255d8e68 Mon Sep 17 00:00:00 2001
From: leino <unknown>
Date: Tue, 30 Jun 2015 23:42:57 -0700
Subject: Fixed bugs in encoding of preconditions of function values, Issue
 #84.

---
 Test/hofs/Requires.dfy.expect | 5 +++++
 1 file changed, 5 insertions(+)
 create mode 100644 Test/hofs/Requires.dfy.expect

(limited to 'Test/hofs/Requires.dfy.expect')

diff --git a/Test/hofs/Requires.dfy.expect b/Test/hofs/Requires.dfy.expect
new file mode 100644
index 00000000..b9a40d66
--- /dev/null
+++ b/Test/hofs/Requires.dfy.expect
@@ -0,0 +1,5 @@
+
+Dafny program verifier finished with 20 verified, 0 errors
+Program compiled successfully
+Running...
+
-- 
cgit v1.2.3