From 793f038182a79df64efc2b9555746c8b2213360d Mon Sep 17 00:00:00 2001
From: fanghr <chfanghr@gmail.com>
Date: Wed, 20 Apr 2022 16:56:07 +0800
Subject: [PATCH] remove redundant imports

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

diff --git a/agora/Agora/Governor.hs b/agora/Agora/Governor.hs
index 94ec4f8..853b41b 100644
--- a/agora/Agora/Governor.hs
+++ b/agora/Agora/Governor.hs
@@ -69,7 +69,7 @@ import Agora.Utils (
 
 import Plutarch (popaque)
 import Plutarch.Api.V1 (
-  PCurrencySymbol (PCurrencySymbol),
+  PCurrencySymbol,
   PMintingPolicy,
   PScriptPurpose (PSpending),
   PValidator,