From d56b00a1b8c57ec86a41720e7460cb2360de43db Mon Sep 17 00:00:00 2001
From: Marshall Lochbaum <mwlochbaum@gmail.com>
Date: Thu, 10 Sep 2020 23:29:42 -0400
Subject: Fix definition of Type in dz_rt

---
 test/dz_rt | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/test/dz_rt b/test/dz_rt
index f83a787d..7874c704 100755
--- a/test/dz_rt
+++ b/test/dz_rt
@@ -30,7 +30,7 @@ Mod ← {((⊑chr⊐𝕨)⊑names) ∾ " ← " ∾ 𝕩}
 
 pre ← ⟨
   "IsArray ← 0≠≡"
-  "Type    ← ⟨⟩⥊0⊸⥊"
+  "Type    ← ⊑⟨⟩⥊0⊸⥊"
   "Log     ← ⋆⁼"
   "GroupLen← ≠¨⊔"
   "GroupOrd← ∾⊔∘⊢"
-- 
cgit v1.2.3