phrasing

tc39 · Aug 31, 2022 · 46f92c7 · 46f92c7
1 parent cf2ea6c
commit 46f92c7
Showing 1 changed file with 2 additions and 4 deletions.
diff --git a/spec.html b/spec.html
@@ -36479,8 +36479,7 @@ <h1>
           <dl class="header">
           </dl>
           <emu-alg>
-            1. Assert: _match_.[[StartIndex]] is a non-negative integer less than or equal to the length of _S_.
-            1. Assert: _match_.[[EndIndex]] is an integer between _match_.[[StartIndex]] and the length of _S_, inclusive.
+            1. Assert: _match_.[[StartIndex]] &le; _match_.[[EndIndex]] &le; the length of _S_.
             1. Return the substring of _S_ from _match_.[[StartIndex]] to _match_.[[EndIndex]].
           </emu-alg>
         </emu-clause>
@@ -36495,8 +36494,7 @@ <h1>
           <dl class="header">
           </dl>
           <emu-alg>
-            1. Assert: _match_.[[StartIndex]] is a non-negative integer less than or equal to the length of _S_.
-            1. Assert: _match_.[[EndIndex]] is an integer between _match_.[[StartIndex]] and the length of _S_, inclusive.
+            1. Assert: _match_.[[StartIndex]] &le; _match_.[[EndIndex]] &le; the length of _S_.
             1. Return CreateArrayFromList(&laquo; 𝔽(_match_.[[StartIndex]]), 𝔽(_match_.[[EndIndex]]) &raquo;).
           </emu-alg>
         </emu-clause>