From a6dcdea0925bfa80c2d4318dc76d236d6375d70b Mon Sep 17 00:00:00 2001
From: Javier Sagredo <javier.sagredo@iohk.io>
Date: Thu, 11 Apr 2024 14:52:19 +0200
Subject: [PATCH] Mempool.removeTxs now uses a non-empty list

---
 .../ouroboros-consensus/Ouroboros/Consensus/Mempool/Update.hs | 4 +++-
 1 file changed, 3 insertions(+), 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
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