From 13d1c2892775ec706cff930969f94136b866b8d7 Mon Sep 17 00:00:00 2001
From: fang <github@fang.io>
Date: Wed, 6 Apr 2022 23:24:43 +0200
Subject: [PATCH] hoon: make manual shorthand type printing prettier

---
 pkg/arvo/sys/hoon.hoon | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/pkg/arvo/sys/hoon.hoon b/pkg/arvo/sys/hoon.hoon
index 02cfc6bd6..27949be90 100644
--- a/pkg/arvo/sys/hoon.hoon
+++ b/pkg/arvo/sys/hoon.hoon
@@ -11001,7 +11001,7 @@
           [%name *]
         :_  gid
         ?@  p.q.ham  (cat 3 '#' mark.p.q.ham)
-        (rap 3 '#' auth.p.q.ham (spat type.p.q.ham) ~)
+        (rap 3 '#' auth.p.q.ham '+' (spat type.p.q.ham) ~)
       ==
     --
   ::