Reverted accidentally renamed jael tag.

This commit is contained in:
Fang 2017-12-21 22:44:17 +01:00
parent 4ee42ce6c2
commit 6a0385eeeb
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