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

improve trace error message

Browse source
This commit is contained in:
Emily Martins 2022-04-21 11:09:07 +02:00
parent a6ef476beb
commit b8b6269591
1 changed files with 2 additions and 2 deletions
Download patch file Download diff file Expand all files Collapse all files

4
agora/Agora/AuthorityToken.hs
View file

@ -109,8 +109,8 @@ singleAuthorityTokenBurned gatCs txInfo mint = P.do
foldr1
(#&&)
[ ptraceIfFalse "GAT not burned." $ gatAmountMinted #== -1
, ptraceIfFalse "All inputs only have valid GATs" $
[ ptraceIfFalse "singleAuthorityTokenBurned: Must burn exactly 1 GAT" $ gatAmountMinted #== -1
, ptraceIfFalse "singleAuthorityTokenBurned: All GAT tokens must be valid at the inputs" $
pall
# plam
( \txInInfo' -> P.do