From 86182ced25bd7424cfba99a4745a8f547c10350c Mon Sep 17 00:00:00 2001
From: Jack Hodgkinson <30505104+jhodgdev@users.noreply.github.com>
Date: Fri, 4 Mar 2022 06:26:53 +0000
Subject: [PATCH] Removed redundant Plutarch Extra files

---
 agora.cabal               | 3 +--
 src/Plutarch/Extra/Map.hs | 2 --
 2 files changed, 1 insertion(+), 4 deletions(-)
 delete mode 100644 src/Plutarch/Extra/Map.hs

diff --git a/agora.cabal b/agora.cabal
index a7b4703..00e342c 100644
--- a/agora.cabal
+++ b/agora.cabal
@@ -122,10 +122,9 @@ library
     Agora.Treasury
     Agora.Voting
 
-  other-modules:   
+  other-modules:
     Agora.Utils
     Agora.Utils.Value
-    Plutarch.Extra.Map
 
   hs-source-dirs:  src
 
diff --git a/src/Plutarch/Extra/Map.hs b/src/Plutarch/Extra/Map.hs
deleted file mode 100644
index ba05359..0000000
--- a/src/Plutarch/Extra/Map.hs
+++ /dev/null
@@ -1,2 +0,0 @@
-module Plutarch.Extra.Map () where
-