From 9d280a4879b4f53ad26884301c9ec1e637c97649 Mon Sep 17 00:00:00 2001 From: Michael Dyck Date: Sun, 15 Jan 2023 08:14:40 -0500 Subject: [PATCH] (bullet 2) 2 disjuncts, a type and a constant: put type before constant (duplicates the first commit in PR #2995) --- spec.html | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/spec.html b/spec.html index 6e6e586886d..cadeefbefbb 100644 --- a/spec.html +++ b/spec.html @@ -42784,7 +42784,7 @@

_state_: a JSON Serialization Record, _key_: a String, _holder_: an Object, - ): either a normal completion containing either *undefined* or a String, or a throw completion + ): either a normal completion containing either a String or *undefined*, or a throw completion