mirror of
https://github.com/urbit/shrub.git
synced 2024-12-21 01:41:37 +03:00
jets: fail -> exit
This commit is contained in:
parent
ca15220621
commit
a7b272d859
@ -484,7 +484,7 @@ u3we_slaw(u3_noun cor)
|
|||||||
if (c3n == u3r_mean(cor, u3x_sam_2, &mod,
|
if (c3n == u3r_mean(cor, u3x_sam_2, &mod,
|
||||||
u3x_sam_3, &txt, 0) ||
|
u3x_sam_3, &txt, 0) ||
|
||||||
!_(u3a_is_cat(mod))) {
|
!_(u3a_is_cat(mod))) {
|
||||||
return u3m_bail(c3__fail);
|
return u3m_bail(c3__exit);
|
||||||
}
|
}
|
||||||
|
|
||||||
switch (mod) {
|
switch (mod) {
|
||||||
|
Loading…
Reference in New Issue
Block a user