Merge pull request #521 from Fang-/jael-burn

Reverted accidentally renamed jael tag.
This commit is contained in:
Ted Blackman 2018-01-18 12:19:13 -08:00 committed by GitHub
commit eda36249c2
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23
2 changed files with 4 additions and 4 deletions

View File

@ -913,9 +913,9 @@
?- -.tac
::
:: destroy promises
:: {$ktsg p/ship q/safe}
:: {$burn p/ship q/safe}
::
$ktsg
$burn
(cure abet:abet:(deal:(burb our) p.tac [~ q.tac]))
::
:: remote update

View File

@ -936,7 +936,7 @@
:: and change subscriptions.
::
:: change tasks are designed to match high-level
:: operations - for instance, we have %ktsg, %mint,
:: operations - for instance, we have %burn, %mint,
:: and %move, not just a single delta operation.
:: more of these operations will probably be added,
:: and invariants enforced at transaction end.
@ -1008,7 +1008,7 @@
action :: change
::
+= task :: in request ->$
$% [%ktsg p=ship q=safe] :: destroy rights
$% [%burn p=ship q=safe] :: destroy rights
[%hail p=ship q=remote] :: remote update
[%init p=@pG q=arms] :: initialize urbit
[%meet p=(unit (unit ship)) q=farm] :: integrate pki from