Merge pull request #6160 from urbit/jon/remove-plat

hoon: remove $plat
2024-11-24 10:33:22 +03:00 · 2023-01-17 15:00:27 -07:00 · 2023-01-17 15:00:27 -07:00 · 899712383a
commit 899712383a
parent 427e219b5b 5148399c1e
1 changed files with 0 additions and 6 deletions
--- a/pkg/arvo/sys/hoon.hoon
+++ b/pkg/arvo/sys/hoon.hoon
@ -6243,12 +6243,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