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

jael: allowed skipped rifts

Browse Source
This commit is contained in:
Philip Monk 2019-12-03 14:16:05 -08:00
parent 8c2c52c01c
commit db083f82c7
No known key found for this signature in database
GPG Key ID: B66E1F02604E44EC
1 changed files with 3 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

4
pkg/arvo/sys/zuse.hoon
View File

@ -2183,7 +2183,9 @@
%disavow ~|(%udiff-to-diff-disavow !!)
%spon `[%spon sponsor.a-point sponsor.a-udiff]
%rift
?: =(rift.a-udiff +(rift.a-point))
?: (gth rift.a-udiff rift.a-point)
~? !=(rift.a-udiff +(rift.a-point))
[%udiff-to-diff-skipped a-udiff a-point]
`[%rift rift.a-point rift.a-udiff]
~
::