Sulkta-Coop/agora
2
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions

fix a typo

Browse source
This commit is contained in:
fanghr 2022-05-24 01:27:04 +08:00
parent 272be9f1f5
commit fce27a2e3c
No known key found for this signature in database
GPG key ID: 0B261157257380F2
1 changed files with 1 additions and 1 deletions
Download patch file Download diff file Expand all files Collapse all files

2
agora/Agora/Effect/GovernorMutation.hs
View file

@ -116,7 +116,7 @@ instance PTryFrom PData (PAsData PMutateGovernorDatum) where
{- | Validator for the governor mutation effect.
This effect is implemented using the 'Agora.Effect.makeEffect' wrapper,
meaning that the burning of GAT is checked in the said wrapper.
meaning that the burning of GAT is checked in said wrapper.
In order to locate the governor, the validator is parametrized with a 'Agora.Governor.Governor'.