From c5ce9a7f4b041269b67dcb96fd1705fc56ccd83f Mon Sep 17 00:00:00 2001
From: Daniel Ehrenberg <littledan@chromium.org>
Date: Tue, 15 Aug 2017 18:09:38 +0200
Subject: [PATCH] Normative: Public fields are configurable

Closes #35
---
 spec.html | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/spec.html b/spec.html
index 191761b..2bc01e1 100644
--- a/spec.html
+++ b/spec.html
@@ -403,7 +403,7 @@ <h1>DefineField(_receiver_, _fieldRecord_)</h1>
     1. Else,
       1. NOTE: _fieldName_ is a property key.
       1. Let _desc_ be PropertyDescriptor{
-           [[Configurable]]: *false*,
+           [[Configurable]]: *true*,
            [[Enumerable]]: *true*,
            [[Writable]]: *true*,
            [[Value]]: _initValue_