From 3d574017081f6594ce1fa7a5107027c83dbe931f Mon Sep 17 00:00:00 2001
From: Anne van Kesteren <annevk@annevk.nl>
Date: Mon, 27 Apr 2020 18:49:26 +0200
Subject: [PATCH] Remove U+0000 case in the fragment state

Tests: https://github.com/web-platform-tests/wpt/pull/23256.

Fixes #440.
---
 url.bs | 18 ++++++------------
 1 file changed, 6 insertions(+), 12 deletions(-)

diff --git a/url.bs b/url.bs
index cd2d894a..b06277f5 100644
--- a/url.bs
+++ b/url.bs
@@ -2260,16 +2260,10 @@ string <var>input</var>, optionally with a <a>base URL</a> <var>base</var>, opti
 
    <dt><dfn>fragment state</dfn>
    <dd>
-    <p>Switching on <a>c</a>:
-    <dl class=switch>
-     <dt>The <a>EOF code point</a>
-     <dd><p>Do nothing.
-
-     <dt>U+0000 NULL
-     <dd><p><a>Validation error</a>.
+    <ol>
+     <li>
+      <p>If <a>c</a> is not the <a>EOF code point</a>, then:
 
-     <dt>Otherwise
-     <dd>
       <ol>
        <li><p>If <a>c</a> is not a <a>URL code point</a> and not U+0025 (%),
        <a>validation error</a>.
@@ -2277,10 +2271,10 @@ string <var>input</var>, optionally with a <a>base URL</a> <var>base</var>, opti
        <li><p>If <a>c</a> is U+0025 (%) and <a>remaining</a> does not start with two
        <a>ASCII hex digits</a>, <a>validation error</a>.
 
-       <li><p><a>UTF-8 percent encode</a> <a>c</a> using the <a>fragment percent-encode set</a>
-       and append the result to <var>url</var>'s <a for=url>fragment</a>.
+       <li><p><a>UTF-8 percent encode</a> <a>c</a> using the <a>fragment percent-encode set</a> and
+       append the result to <var>url</var>'s <a for=url>fragment</a>.
       </ol>
-    </dl>
+    </ol>
   </dl>
 
  <li><p>Return <var>url</var>.