Fix #86

Author: sparkprime

doc/language/spec.html

@@ -1311,7 +1311,7 @@ <h3>Standard Library Reflection Functions</h3>
 \\
 b = ∃f∈dom(o). o(f) = (\false, \_)
 } {
-\texttt{std.objectHas(}\textit{e}\texttt{)} ↓ b
+\texttt{std.objectHas(}\textit{e},\textit{f}\texttt{)} ↓ b
 } \] </div>
 
 <div class="sequent-rule"> \[\rule{object-fields} {