fix: rule name canRepayByPassingShares

morpho-org · Nov 23, 2023 · 1a212a7 · 1a212a7
1 parent a7ee852
commit 1a212a7
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/certora/specs/Liveness.spec b/certora/specs/Liveness.spec
@@ -188,7 +188,7 @@ rule repayChangesTokensAndShares(env e, MorphoInternalAccess.MarketParams market
 }
 
 // Check that you can repay non-zero tokens by passing shares.
-rule canSupplyByPassingShares(env e, MorphoInternalAccess.MarketParams marketParams, uint256 shares, address onBehalf, bytes data) {
+rule canRepayByPassingShares(env e, MorphoInternalAccess.MarketParams marketParams, uint256 shares, address onBehalf, bytes data) {
     uint256 repaidAssets;
     uint256 repaidShares;
     repaidAssets, repaidShares = repay(e, marketParams, 0, shares, onBehalf, data);