From 81d9fa02122a6d8a2a382f82b0a6ec778b3297f7 Mon Sep 17 00:00:00 2001
From: Marshall Lochbaum <mwlochbaum@gmail.com>
Date: Tue, 28 Feb 2023 22:00:07 -0500
Subject: Changed error message

---
 docs/doc/select.html | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/docs/doc/select.html b/docs/doc/select.html
index 978da307..5039551f 100644
--- a/docs/doc/select.html
+++ b/docs/doc/select.html
@@ -74,7 +74,7 @@
     ┘
 
     <span class='Number'>0</span> <span class='Function'>⊏</span> <span class='String'>&quot;&quot;</span>
-<span class='Error'>Error: ⊏: Indexing out-of-bounds (𝕨≡0, 0≡≠𝕩)</span>
+<span class='Error'>Error: ⊏: Indexing out-of-bounds (0∊𝕨, ⟨0⟩≡≢𝕩)</span>
 </pre>
 <h3 id="first-cell"><a class="header" href="#first-cell">First Cell</a></h3>
 <p>The monadic case First Cell (<code><span class='Function'>⊏</span><span class='Value'>𝕩</span></code>) is identical to <code><span class='Number'>0</span><span class='Function'>⊏</span><span class='Value'>𝕩</span></code>. It has the same restrictions: <code><span class='Value'>𝕩</span></code> must have rank 1 or more, and length 1 or more.</p>
-- 
cgit v1.2.3