From e67dd21d0677b9c53cd36a76a9d4246ed0decd5f Mon Sep 17 00:00:00 2001
From: fanghr <chfanghr@gmail.com>
Date: Fri, 6 May 2022 17:07:10 +0800
Subject: [PATCH] use `validatorHashToTokenName`

---
 agora/Agora/Governor/Scripts.hs | 5 ++---
 1 file changed, 2 insertions(+), 3 deletions(-)

diff --git a/agora/Agora/Governor/Scripts.hs b/agora/Agora/Governor/Scripts.hs
index c047144..3a8aa1b 100644
--- a/agora/Agora/Governor/Scripts.hs
+++ b/agora/Agora/Governor/Scripts.hs
@@ -86,6 +86,7 @@ import Agora.Utils (
   pvalueSpent,
   scriptHashFromAddress,
   validatorHashToAddress,
+  validatorHashToTokenName,
  )
 
 --------------------------------------------------------------------------------
@@ -129,7 +130,6 @@ import Plutarch.TryFrom (ptryFrom)
 import Plutus.V1.Ledger.Api (
   CurrencySymbol (..),
   MintingPolicy,
-  TokenName (..),
  )
 import Plutus.V1.Ledger.Scripts (ValidatorHash (..))
 import Plutus.V1.Ledger.Value (
@@ -735,8 +735,7 @@ stakeSTAssetClassFromGovernor gov = AssetClass (symbol, tokenName)
     symbol = stakeSTSymbolFromGovernor gov
 
     -- Tag with the address where the token is being sent to.
-    ValidatorHash hash = stakeValidatorHashFromGovernor gov
-    tokenName = TokenName hash
+    tokenName = validatorHashToTokenName $ stakeValidatorHashFromGovernor gov
 
 stakeFromGovernor :: Governor -> Stake
 stakeFromGovernor gov =