From 1e728aa52b29934c6cc6137638eb4f15a1c7a25b Mon Sep 17 00:00:00 2001
From: Joe Bryan <joemfb@gmail.com>
Date: Tue, 8 Dec 2020 01:59:28 -0800
Subject: [PATCH] arvo: enables %wyrd kelvin stack sanity check

---
 pkg/arvo/sys/arvo.hoon | 15 +++++++--------
 1 file changed, 7 insertions(+), 8 deletions(-)

diff --git a/pkg/arvo/sys/arvo.hoon b/pkg/arvo/sys/arvo.hoon
index 4c32f8d4ad..a792ec5bb3 100644
--- a/pkg/arvo/sys/arvo.hoon
+++ b/pkg/arvo/sys/arvo.hoon
@@ -351,14 +351,13 @@
   ++  sane
     |=  kel=wynn
     ^-  ?
-    &
-    :: ?:  =(~ kel)  &
-    :: =^  las=(pair term @ud)  kel  kel
-    :: |-  ^-  ?
-    :: ?~  kel  &
-    :: ?&  (gte q.las q.i.kel)
-    ::     $(las i.kel, kel t.kel)
-    :: ==
+    ?:  =(~ kel)  &
+    =^  las=(pair term @ud)  kel  kel
+    |-  ^-  ?
+    ?~  kel  &
+    ?&  (gte q.las q.i.kel)
+        $(las i.kel, kel t.kel)
+    ==
   ::  +need: require kelvins
   ::
   ++  need