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

remove ~&pure-mint from mint (prelude to jet decapitation)

Browse Source
This commit is contained in:
pilfer-pandex 2019-05-15 13:18:41 -07:00
parent 4b09d4db98
commit 1e7fe11a6e
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

@ -10133,7 +10133,7 @@
~/ %mint
|= {gol/type gen/hoon}
^- {p/type q/nock}
~& %pure-mint
::~& %pure-mint
|^ ^- {p/type q/nock}
?: ?&(=(%void sut) !?=({$dbug *} gen))
?. |(!vet ?=({$lost *} gen) ?=({$zpzp *} gen))