From 349b4454ab26f8f0b0c7ffd6b1c37dde0171eadd Mon Sep 17 00:00:00 2001
From: Seungheon Oh <seungheon.ooh@gmail.com>
Date: Mon, 25 Apr 2022 09:04:07 -0400
Subject: [PATCH] rename!

---
 agora/Agora/Effect/TreasuryWithdrawal.hs | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/agora/Agora/Effect/TreasuryWithdrawal.hs b/agora/Agora/Effect/TreasuryWithdrawal.hs
index 0fbe118..abf23bf 100644
--- a/agora/Agora/Effect/TreasuryWithdrawal.hs
+++ b/agora/Agora/Effect/TreasuryWithdrawal.hs
@@ -122,7 +122,7 @@ treasuryWithdrawalValidator currSymbol = makeEffect currSymbol $
         treasuryInputValuesSum = sumValues #$ ofTreasury # inputValues
         treasuryOutputValuesSum = sumValues #$ ofTreasury # outputValues
         receiverValuesSum = sumValues # datum.receivers
-        isCollateral = plam $ \cred -> P.do
+        isPubkey = plam $ \cred -> P.do
           pmatch cred $ \case
             PPubKeyCredential _ -> pcon PTrue
             PScriptCredential _ -> pcon PFalse
@@ -146,7 +146,7 @@ treasuryWithdrawalValidator currSymbol = makeEffect currSymbol $
               ( \((pfield @"_0" #) . pfromData -> cred) ->
                   cred #== pfield @"credential" # effInput.address
                     #|| pelem # cred # datum.treasuries
-                    #|| isCollateral # pfromData cred
+                    #|| isPubkey # pfromData cred
               )
             # inputValues