urbit/shrub
1
1
Fork 0
mirror of https://github.com/urbit/shrub.git synced 2025-01-04 18:43:46 +03:00
Code Issues Packages Projects Releases Wiki Activity

Fixed error in #417, use "type" instead of "span".

Browse Source
This commit is contained in:
Fang 2018-02-19 18:36:41 +01:00
parent 958fbdb649
commit 3452d8756e
1 changed files with 1 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
sys/hoon.hoon
View File

@ -9449,7 +9449,7 @@
{$cell *} |
{$core *} dext(ref repo(sut ref))
{$face *} dext(ref q.ref)
{$fork *} (levy ~(tap in p.ref) |=(span dext(ref +<)))
{$fork *} (levy ~(tap in p.ref) |=(type dext(ref +<)))
{$help *} dext(ref q.ref)
{$hold *} ?: (~(has in reg) ref) &
?: (~(has in gil) [sut ref]) &