diff --git a/sys/hoon.hoon b/sys/hoon.hoon index 13bf7408a..86ea12f73 100644 --- a/sys/hoon.hoon +++ b/sys/hoon.hoon @@ -6351,7 +6351,11 @@ :+ %pin [%name %b [%per [%limb %v] q.gen]] :: =+ b==>(v {q.gen}) :+ %pin :: =+ c=(a b) [%name %c [%call [%limb %a] [%limb %b] ~]] :: - [%sure [%same [%limb %c] [%limb %b]] [%limb %c]] :: ?>(=(c b) c) + :+ %sure :: ?>(=(`*`c `*`b) c) + :+ %same :: + [%cast [%base %noun] [%limb %c]] :: + [%cast [%base %noun] [%limb %b]] :: + [%limb %c] :: :: {$new *} [%pin ~(bunt al %herb p.gen) q.gen]