diff --git a/ouroboros-consensus/src/ouroboros-consensus/Ouroboros/Consensus/Mempool/Update.hs b/ouroboros-consensus/src/ouroboros-consensus/Ouroboros/Consensus/Mempool/Update.hs
index 6a52fca90b..f71cca3543 100644
--- 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