From 0c716e4c6b7c2c44bbfd02b6503cae66af7b7480 Mon Sep 17 00:00:00 2001
From: Marshall Lochbaum <mwlochbaum@gmail.com>
Date: Fri, 28 Jan 2022 16:34:41 -0500
Subject: Separate syntax highlighting category for header/body characters ;:?

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

(limited to 'docs/spec/inferred.html')

diff --git a/docs/spec/inferred.html b/docs/spec/inferred.html
index fd247c65..11c27867 100644
--- a/docs/spec/inferred.html
+++ b/docs/spec/inferred.html
@@ -381,7 +381,7 @@
 </tr>
 <tr>
 <td><code><span class='Modifier'>⌜</span></code></td>
-<td><code><span class='Brace'>{</span><span class='Function'>!</span><span class='Number'>0</span><span class='Function'>&lt;≡</span><span class='Value'>𝕩</span><span class='Separator'>⋄</span> <span class='Function'>𝔽</span><span class='Modifier'>⁼⌜</span><span class='Value'>𝕩;</span><span class='Brace'>}</span></code></td>
+<td><code><span class='Brace'>{</span><span class='Function'>!</span><span class='Number'>0</span><span class='Function'>&lt;≡</span><span class='Value'>𝕩</span><span class='Separator'>⋄</span> <span class='Function'>𝔽</span><span class='Modifier'>⁼⌜</span><span class='Value'>𝕩</span><span class='Head'>;</span><span class='Brace'>}</span></code></td>
 <td>Monadic case only</td>
 </tr>
 <tr>
-- 
cgit v1.2.3