renaming Distribution file

tweag · Mar 14, 2024 · f1656c3 · f1656c3
1 parent fb9cde1
commit f1656c3
Show file tree

Hide file tree

Showing 5 changed files with 5 additions and 5 deletions.
diff --git a/cooked-validators.cabal b/cooked-validators.cabal
@@ -19,7 +19,7 @@ library
       Cooked.Attack.DoubleSat
       Cooked.Attack.DupToken
       Cooked.Currencies
-      Cooked.Distribution
+      Cooked.InitialDistribution
       Cooked.Ltl
       Cooked.MockChain
       Cooked.MockChain.Balancing

diff --git a/src/Cooked.hs b/src/Cooked.hs
@@ -9,7 +9,7 @@ where
 
 import Cooked.Attack as X
 import Cooked.Currencies as X
-import Cooked.Distribution as X
+import Cooked.InitialDistribution as X
 import qualified Cooked.Ltl as Ltl
 import Cooked.MockChain as X
 import Cooked.Output as X

diff --git a/src/Cooked/Distribution.hs → src/Cooked/InitialDistribution.hs b/src/Cooked/Distribution.hs → src/Cooked/InitialDistribution.hs
@@ -1,6 +1,6 @@
 {-# LANGUAGE NumericUnderscores #-}
 
-module Cooked.Distribution
+module Cooked.InitialDistribution
   ( initialDistribution,
     InitialDistribution (..),
   )

diff --git a/src/Cooked/MockChain/Direct.hs b/src/Cooked/MockChain/Direct.hs
@@ -26,7 +26,7 @@ import Control.Monad.Except
 import Control.Monad.Identity
 import Control.Monad.Reader
 import Control.Monad.State.Strict
-import Cooked.Distribution
+import Cooked.InitialDistribution
 import Cooked.MockChain.Balancing
 import Cooked.MockChain.BlockChain
 import Cooked.MockChain.UtxoState

diff --git a/src/Cooked/MockChain/Testing.hs b/src/Cooked/MockChain/Testing.hs
@@ -7,7 +7,7 @@ module Cooked.MockChain.Testing where
 
 import qualified Control.Exception as E
 import Control.Monad
-import Cooked.Distribution
+import Cooked.InitialDistribution
 import Cooked.MockChain.BlockChain
 import Cooked.MockChain.Direct
 import Cooked.MockChain.Staged