From e0dfb10b42fdd65a39989aa9a3146951e86f291b Mon Sep 17 00:00:00 2001
From: ~hatteb-mitlyd <anthony@tlon.io>
Date: Sat, 12 Apr 2014 19:59:02 -0700
Subject: [PATCH] veri jet skeleton, still not working

---
 arvo/hoon.hoon | 1 +
 1 file changed, 1 insertion(+)

diff --git a/arvo/hoon.hoon b/arvo/hoon.hoon
index c9d2b103d0..ef1c37a55d 100644
--- a/arvo/hoon.hoon
+++ b/arvo/hoon.hoon
@@ -4184,6 +4184,7 @@
     (can 0 ~[[b (etch rr)] [b ss]])
   ::
   ++  veri                                                ::  validate
+    ~/  %veri
     |=  [s=@ m=@ pk=@]  ^-  ?
     ?:  (gth (div b 4) (met 3 s))  |
     ?:  (gth (div b 8) (met 3 pk))  |