From 517945c58272f6d3df09bfa24655f4175eb43892 Mon Sep 17 00:00:00 2001
From: drbeefsupreme <jon@tlon.io>
Date: Wed, 14 Dec 2022 20:42:22 -0500
Subject: [PATCH] hoon: remove $plat

$plat was a type of $plot added in
bc6ad0456dddba7aaf84c2de3df0427882f7a74f

plots are no longer a thing, so
neither should be plats.
---
 pkg/arvo/sys/hoon.hoon | 6 ------
 1 file changed, 6 deletions(-)

diff --git a/pkg/arvo/sys/hoon.hoon b/pkg/arvo/sys/hoon.hoon
index c165f63223..101d392c5f 100644
--- a/pkg/arvo/sys/hoon.hoon
+++ b/pkg/arvo/sys/hoon.hoon
@@ -6325,12 +6325,6 @@
           ==                                            ::
 +$  pica  (pair ? cord)                                 ::  & prose, | code
 +$  palo  (pair vein opal)                              ::  wing trace, match
-+$  plat                                                ::
-          $?  %hoon                                     ::
-              %type                                     ::
-              %nock                                     ::
-              %tank                                     ::
-          ==                                            ::
 +$  pock  (pair axis nock)                              ::  changes
 +$  port  (each palo (pair type nock))                  ::  successful match
 +$  spec                                                ::  structure definition