From 69399c4153075317a9121ac4941486cecbff4e63 Mon Sep 17 00:00:00 2001
From: drbeefsupreme <drbeefsupreme@discordja.net>
Date: Tue, 5 Apr 2022 15:55:42 -0400
Subject: [PATCH] doccords: remove unwrap-note from dprint

we shouldn't be getting docs from the AST, so this should never be needed
---
 pkg/arvo/lib/dprint.hoon | 10 ----------
 1 file changed, 10 deletions(-)

diff --git a/pkg/arvo/lib/dprint.hoon b/pkg/arvo/lib/dprint.hoon
index bf95e60129..34bacf7450 100644
--- a/pkg/arvo/lib/dprint.hoon
+++ b/pkg/arvo/lib/dprint.hoon
@@ -206,16 +206,6 @@
       %noun  ~
       %void  ~
   ==
-
-:>    checks if a hoon is wrapped with a help note, and returns it if so
-++  unwrap-note
-  |=  gen=hoon
-  ^-  what
-  ?:  ?=([%note *] gen)
-    ?:  ?=([%help *] p.gen)
-      `crib.p.p.gen
-    ~
-  ~
 ::
 :>    checks if a hint type is a help hint and returns the docs if so
 ++  unwrap-hint