From c5eef0418df2ae6a97c54839fa010ff60d96f78b Mon Sep 17 00:00:00 2001
From: Marshall Lochbaum <mwlochbaum@gmail.com>
Date: Sat, 8 Jan 2022 16:14:51 -0500
Subject: =?UTF-8?q?Add=20error=20messages=20to=20generated=20markdown=20do?=
 =?UTF-8?q?cs=20with=20=E2=80=A2CurrentError=20(fixes=20#22)?=
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8
Content-Transfer-Encoding: 8bit

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

(limited to 'docs/doc/match.html')

diff --git a/docs/doc/match.html b/docs/doc/match.html
index 1e752f6f..95336280 100644
--- a/docs/doc/match.html
+++ b/docs/doc/match.html
@@ -18,7 +18,7 @@
 0
 
     <span class='String'>&quot;abc&quot;</span> <span class='Function'>=</span> <span class='String'>&quot;ab&quot;</span>  <span class='Comment'># Mismatched shapes
-</span>ERROR
+</span><span class='Error'>Error: =: Expected equal shape prefix (⟨3⟩ ≡ ≢𝕨, ⟨2⟩ ≡ ≢𝕩)</span>
     <span class='String'>&quot;abc&quot;</span> <span class='Function'>≡</span> <span class='String'>&quot;ab&quot;</span>
 0
 </pre>
-- 
cgit v1.2.3