From 9eba54d9bf9eda6246bcf04355dafeba0ecebef3 Mon Sep 17 00:00:00 2001
From: Quentin Garchery <garchery.quentin@gmail.com>
Date: Wed, 22 Nov 2023 19:36:27 +0100
Subject: [PATCH] test: mutant 10

---
 src/Morpho.sol | 4 +++-
 1 file changed, 3 insertions(+), 1 deletion(-)

diff --git a/src/Morpho.sol b/src/Morpho.sol
index f755904b6..ad8c037e6 100644
--- a/src/Morpho.sol
+++ b/src/Morpho.sol
@@ -391,7 +391,9 @@ contract Morpho is IMorphoStaticTyping {
                 badDebtShares.toAssetsUp(market[id].totalBorrowAssets, market[id].totalBorrowShares)
             );
 
-            market[id].totalBorrowAssets -= badDebt.toUint128();
+            /// AssignmentMutation(`badDebt.toUint128()` |==> `0`) of: `market[id].totalBorrowAssets -=
+            /// badDebt.toUint128();`
+            market[id].totalBorrowAssets -= 0;
             market[id].totalSupplyAssets -= badDebt.toUint128();
             market[id].totalBorrowShares -= badDebtShares.toUint128();
             position[id][borrower].borrowShares = 0;