From 3fef9d221ce6231ff8870e467f0721bc29bb67b2 Mon Sep 17 00:00:00 2001
From: Hongrui Fang <chfanghr@gmail.com>
Date: Mon, 24 Oct 2022 23:41:39 +0800
Subject: [PATCH] make sure all stakes are burnt while destroying stakes

---
 agora/Agora/Stake/Redeemers.hs | 5 ++++-
 1 file changed, 4 insertions(+), 1 deletion(-)

diff --git a/agora/Agora/Stake/Redeemers.hs b/agora/Agora/Stake/Redeemers.hs
index f03e9aa..3be7957 100644
--- a/agora/Agora/Stake/Redeemers.hs
+++ b/agora/Agora/Stake/Redeemers.hs
@@ -351,9 +351,12 @@ pdestroy = phoistAcyclic $
     pguardC "Owner signs this transaction" $
       pisSignedBy # pconstant False # ctx
 
-    pguardC "Stake unlocked" $
+    pguardC "All stakes unlocked" $
       pnot #$ pany # pstakeLocked # ctxF.stakeInputDatums
 
+    pguardC "All stakes burnt" $
+      pnull # ctxF.stakeOutputDatums
+
     pure $ pconstant ()
 
 {- | Default implementation of 'Agora.Stake.DepositWithdraw'.