sole: update sole-action mark wrt recent changes

It was not properly accounting for the sole-id type change.
This commit is contained in:
fang 2023-01-04 17:54:25 +01:00
parent ff84878c8b
commit 41f08b30b3
No known key found for this signature in database
GPG Key ID: EB035760C1BBA972

View File

@ -20,7 +20,9 @@
|= jon=^json ^- sole-action
%- need %. jon
=> [dejs-soft:format ..sole-action]
|^ (ot id+so dat+(fo %ret (of det+change tab+ni ~)) ~)
|^ (ot id+id dat+(fo %ret (of det+change tab+ni ~)) ~)
++ id
(ot who+(su ;~(pfix sig fed:ag)) ses+so ~)
++ fo
|* [a=term b=fist]
|=(c=json ?.(=([%s a] c) (b c) (some [a ~])))