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

fix leftover strict inequality check

Browse source
This commit is contained in:
Hongrui Fang 2022-11-08 21:43:42 +08:00
parent d0b155d315
commit 86bcc78553
No known key found for this signature in database
GPG key ID: F10AB2CCE24113DD
1 changed files with 1 additions and 1 deletions
Download patch file Download diff file Expand all files Collapse all files

2
agora/Agora/Governor/Scripts.hs
View file

@ -425,7 +425,7 @@ governorValidator =
# governorInputDatumF.proposalThresholds
pguardC "Require minimum amount of GTs" $
gtThreshold #< stakeInputDatumF.stakedAmount
gtThreshold #<= stakeInputDatumF.stakedAmount
-- Check that the newly minted PST is sent to the proposal validator,
-- and the datum it carries is legal.