urbit/shrub
1
1
Fork 0
mirror of https://github.com/urbit/shrub.git synced 2024-11-28 05:22:27 +03:00
Code Issues Packages Projects Releases Wiki Activity

merge: cast to wain to avoid ford bug

Browse Source 
/* is giving us something with an extra `txt` face wrapped around it,
which interacts poorly with wet gates.  An explicit cast fixes it.
This commit is contained in:
Philip Monk 2021-03-04 21:17:50 -08:00
parent 9c9446d77f
commit ac096d85ae
No known key found for this signature in database
GPG Key ID: B66E1F02604E44EC
1 changed files with 1 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
pkg/arvo/gen/hood/merge.hoon
View File

@ -21,7 +21,7 @@
|^ :- %kiln-merge
^- $@(~ [syd=desk her=ship sud=desk cas=case gem=?(germ %auto)])
?- arg
~ ((slog (turn help-text |=(=@t leaf+(trip t)))) ~)
~ ((slog (turn `wain`help-text |=(=@t leaf+(trip t)))) ~)
[@ @ ~]
=+(arg [sud ?.(=(our her) her (sein:title p.bek now her)) sud (opt-case da+now) gem])
::