Removed redundant Plutarch Extra files

2022-03-04 06:26:53 +00:00 · 2022-03-04 06:26:53 +00:00 · 86182ced25
commit 86182ced25
parent 346c08afc9
2 changed files with 1 additions and 4 deletions
--- 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

--- a/src/Plutarch/Extra/Map.hs
+++ b/src/Plutarch/Extra/Map.hs
@ -1,2 +0,0 @@
-module Plutarch.Extra.Map () where
-