Fix definition of Type in dz_rt

1 files changed, 1 insertions, 1 deletions

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← ∾⊔∘⊢"