Merge pull request #1181 from urbit/mas-mismatch

fixes (trivial) jet mismatch in +mas
urbit · May 30, 2019 · 3b885df · 3b885df
2 parents 02b844a + fb85a94
commit 3b885df
Showing 1 changed file with 3 additions and 4 deletions.
diff --git a/sys/hoon.hoon b/sys/hoon.hoon
@@ -209,10 +209,9 @@
   |=  a=@
   ^-  @
   ?-  a
-    $1   !!
-    $2   1
-    $3   1
-    *    (add (mod a 2) (mul $(a (div a 2)) 2))
+    ?(%2 %3)  1
+    ?(%0 %1)  !!
+    *         (add (mod a 2) (mul $(a (div a 2)) 2))
   ==
 ::
 ++  peg