From 1e98a9f17e906a194905c171bfda0977b1e21f07 Mon Sep 17 00:00:00 2001
From: Michael Dyck <jmdyck@ibiblio.org>
Date: Wed, 16 Mar 2022 23:10:10 -0400
Subject: [PATCH] Editorial: Fix the return-type of CompilePattern

PR #1713 changed the signature of the Abstract Closure
created+returned by CompilePattern,
but didn't make the corresponding change
to the return-type in the section heading.
---
 spec.html | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/spec.html b/spec.html
index b9b507ac806..e0d18f4ff22 100644
--- a/spec.html
+++ b/spec.html
@@ -35048,7 +35048,7 @@ <h1>Notation</h1>
       </emu-clause>
 
       <emu-clause id="sec-compilepattern" type="sdo" oldids="sec-pattern">
-        <h1>Runtime Semantics: CompilePattern ( ): an Abstract Closure that takes a String and a non-negative integer and returns a MatchResult</h1>
+        <h1>Runtime Semantics: CompilePattern ( ): an Abstract Closure that takes a List of characters and a non-negative integer and returns a MatchResult</h1>
         <dl class="header">
         </dl>
         <emu-grammar>Pattern :: Disjunction</emu-grammar>