urbit/shrub
1
1
Fork 0
mirror of https://github.com/urbit/shrub.git synced 2024-12-01 06:35:32 +03:00
Code Issues Packages Projects Releases Wiki Activity

Hack around ~(tap to) bug.

Browse Source
This commit is contained in:
C. Guy Yarvin 2014-12-03 11:58:42 -08:00
parent e09388ae70
commit d9d18f766e
1 changed files with 1 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

1
n/j.c
View File

@ -615,6 +615,7 @@ u3j_kick(u3_noun cor, u3_noun axe)
else if ( !_(_cj_fine(cup, mop, cor)) ) {
fprintf(stderr, "improper core %x\r\n", u3r_mug(cor));
u3m_p("improper label", u3h(u3t(u3t(u3h(cax)))));
u3m_bail(c3__exit);
u3t_off(glu_o);
return u3_none;