actually check GAT

This commit is contained in:
Hongrui Fang 2022-05-05 20:20:55 +08:00 committed by fanghr
parent d9a2a467bb
commit b653d85265
No known key found for this signature in database
GPG key ID: 35CD9A71CD5D5870

View file

@ -603,7 +603,7 @@ governorValidator gov =
gatCount <- plet $ plength #$ pto $ pto effectGroup
passert "Required amount of GATs should be minted" $
psymbolValueOf # ppstSymbol # txInfo.mint #== gatCount
psymbolValueOf # patSymbol # txInfo.mint #== gatCount
outputsWithGAT <-
plet $