Merge branch 'master' of github.com:urbit/urbit

2024-11-28 13:54:20 +03:00 · 2013-11-04 08:58:54 -08:00 · 2013-11-04 08:58:54 -08:00 · c9d6b7f079
commit c9d6b7f079
parent 8c1ebc268b 254dd6d718
1 changed files with 1 additions and 1 deletions
--- a/arvo/hoon.hoon
+++ b/arvo/hoon.hoon
@ -751,7 +751,7 @@
 ::
 ++  lien                                                ::  some of
  ~/  %lien
-  |*  [a=(list) b=||=(* ?)]
+  |*  [a=(list) b=||(* ?)]
  |-  ^-  ?
  ?~  a  |
  ?:  (b i.a)  &