From 35732743bf7b4b4c7be2103521310c0a3ffaa1c7 Mon Sep 17 00:00:00 2001
From: Marshall Lochbaum <mwlochbaum@gmail.com>
Date: Mon, 7 Sep 2020 08:47:42 -0400
Subject: =?UTF-8?q?Fix=20=E2=88=A8=E2=81=BC?=
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8
Content-Transfer-Encoding: 8bit

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

(limited to 'docs/spec')

diff --git a/docs/spec/inferred.html b/docs/spec/inferred.html
index 401a0e60..7dc99db6 100644
--- a/docs/spec/inferred.html
+++ b/docs/spec/inferred.html
@@ -157,7 +157,7 @@
 <tr>
 <td><code><span class='Function'>∨</span></code></td>
 <td><code><span class='Function'>⊢</span></code></td>
-<td><code><span class='Function'>-</span><span class='Modifier'>˜</span><span class='Function'>÷</span><span class='Number'>1</span><span class='Function'>-⊢</span></code></td>
+<td><code><span class='Function'>-</span><span class='Modifier'>˜</span><span class='Function'>÷</span><span class='Number'>1</span><span class='Function'>-⊣</span></code></td>
 </tr>
 <tr>
 <td><code><span class='Function'>∾</span></code></td>
-- 
cgit v1.2.3