ormolise

IntersectMBO · May 4, 2021 · 912e9b9 · 912e9b9
1 parent 0739235
commit 912e9b9
Showing 1 changed file with 3 additions and 2 deletions.
diff --git a/shelley/chain-and-ledger/executable-spec/src/Shelley/Spec/Ledger/STS/Pool.hs b/shelley/chain-and-ledger/executable-spec/src/Shelley/Spec/Ledger/STS/Pool.hs
@@ -32,14 +32,15 @@ import Control.Monad.Reader (asks)
 import qualified Control.Monad.Writer.Class as Writer
 import Control.SetAlgebra (dom, eval, setSingleton, singleton, (∈), (∉), (∪), (⋪), (⨃))
 import Control.State.Transition
-  ( STS (..),
+  ( EventPolicy (EventPolicyWrite),
+    STS (..),
     TRC (..),
     TransitionRule,
     failBecause,
     judgmentContext,
     liftSTS,
     tellEvent,
-    (?!), EventPolicy (EventPolicyWrite)
+    (?!),
   )
 import Data.Kind (Type)
 import Data.Typeable (Typeable)