diff --git a/spec.html b/spec.html index a4be495e87..dd05ddc45e 100644 --- a/spec.html +++ b/spec.html @@ -3110,7 +3110,7 @@

[[GetOwnProperty]] ( _P_ )

If _P_ is described as a non-configurable, non-writable own data property, all future calls to [[GetOwnProperty]] ( _P_ ) must return Property Descriptor whose [[Value]] is SameValue as _P_'s [[Value]] attribute.
  • - If _P_'s attributes other than [[Writable]] may change over time or if the property might be deleted, then _P_'s [[Configurable]] attribute must be *true*. + If _P_'s attributes other than [[Writable]] and [[Value]] may change over time, or if the property might be deleted, then _P_'s [[Configurable]] attribute must be *true*.
  • If the [[Writable]] attribute may change from *false* to *true*, then the [[Configurable]] attribute must be *true*.