Mempool.removeTxs now uses a non-empty list

IntersectMBO · Apr 16, 2024 · a6dcdea · a6dcdea
1 parent 62a63d8
commit a6dcdea
Showing 1 changed file with 3 additions and 1 deletion.
diff --git a/ouroboros-consensus/src/ouroboros-consensus/Ouroboros/Consensus/Mempool/Update.hs b/ouroboros-consensus/src/ouroboros-consensus/Ouroboros/Consensus/Mempool/Update.hs
@@ -235,7 +235,9 @@ implRemoveTxs ::
   => MempoolEnv m blk
   -> [GenTxId blk]
   -> m ()
-implRemoveTxs menv txs = do
+implRemoveTxs menv txs
+  | null txs = pure ()
+  | otherwise = do
     tr <- atomically $ do
         is <- readTVar istate
         ls <- getCurrentLedgerState ldgrInterface