From b305e7285d9af9a15e8fd1c9856618fdd6eadecf Mon Sep 17 00:00:00 2001
From: Russell O'Connor <oconnorr@google.com>
Date: Wed, 23 Dec 2015 11:36:04 -0500
Subject: [PATCH 1/2] Fix hypothesis for spec for std.objectHas

---
 doc/language/spec.html | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/doc/language/spec.html b/doc/language/spec.html
index a9dc8bb11..01a79ee27 100644
--- a/doc/language/spec.html
+++ b/doc/language/spec.html
@@ -1309,7 +1309,7 @@ <h3>Standard Library Reflection Functions</h3>
 <div class="sequent-rule"> \[\rule{object-has} {
 e ↓ o
 \\
-b = ∃f∈dom(o). o(f) = (\false, \_)
+b = f∈dom(o)
 } {
 \texttt{std.objectHas(}\textit{e},\textit{f}\texttt{)} ↓ b
 } \] </div>

From a7c279571c8a88e2c974822a0ae53549782fc37d Mon Sep 17 00:00:00 2001
From: Russell O'Connor <oconnorr@google.com>
Date: Wed, 30 Dec 2015 12:04:26 -0500
Subject: [PATCH 2/2] Update spec.html

---
 doc/language/spec.html | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/doc/language/spec.html b/doc/language/spec.html
index 01a79ee27..ed49b0ed3 100644
--- a/doc/language/spec.html
+++ b/doc/language/spec.html
@@ -1309,7 +1309,7 @@ <h3>Standard Library Reflection Functions</h3>
 <div class="sequent-rule"> \[\rule{object-has} {
 e ↓ o
 \\
-b = f∈dom(o)
+b = f∈dom(o) ∧ o(f) ≠ (::, \_)
 } {
 \texttt{std.objectHas(}\textit{e},\textit{f}\texttt{)} ↓ b
 } \] </div>