TOSQUASH MonadTimer implies MonadSTM

IntersectMBO · Dec 4, 2023 · 53a2c5d · 53a2c5d
1 parent 085645b
commit 53a2c5d
Showing 1 changed file with 1 addition and 2 deletions.
diff --git a/...ros-consensus-diffusion/src/ouroboros-consensus-diffusion/Ouroboros/Consensus/Node/GSM.hs b/...ros-consensus-diffusion/src/ouroboros-consensus-diffusion/Ouroboros/Consensus/Node/GSM.hs
@@ -106,8 +106,7 @@ data GsmEntryPoints m = GsmEntryPoints {
 --
 -- See the @BootstrapPeersIER.md@ document for the specification of this logic.
 realGsmEntryPoints :: forall m blk upstreamPeer selection candidate.
-     ( MonadSTM m
-     , MonadTimer m
+     ( MonadTimer m
      , Eq upstreamPeer
      )
   => GsmView m blk upstreamPeer selection candidate