From 86bcc7855313a59ef6997c271bde58fc604b107a Mon Sep 17 00:00:00 2001
From: Hongrui Fang <chfanghr@gmail.com>
Date: Tue, 8 Nov 2022 21:43:42 +0800
Subject: [PATCH] fix leftover strict inequality check

---
 agora/Agora/Governor/Scripts.hs | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/agora/Agora/Governor/Scripts.hs b/agora/Agora/Governor/Scripts.hs
index 6146da4..5c66d40 100644
--- a/agora/Agora/Governor/Scripts.hs
+++ b/agora/Agora/Governor/Scripts.hs
@@ -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.