Update README.md

Signed-off-by: Bilog WEB3 <155262265+Bilogweb3@users.noreply.github.com>
morpho-org · Dec 11, 2024 · f6601ed · f6601ed
1 parent a4210e9
commit f6601ed
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/certora/README.md b/certora/README.md
@@ -72,7 +72,7 @@ Shares increase in value as interest is accrued.
 The share mechanism is implemented symmetrically for the borrow side: a share of borrow increasing in value over time represents additional owed interest.
 The rule `accrueInterestIncreasesSupplyExchangeRate` checks this property for the supply side with the following statement.
 
-```soldidity
+```solidity
     // Check that the exchange rate increases: assetsBefore/sharesBefore <= assetsAfter/sharesAfter
     assert assetsBefore * sharesAfter <= assetsAfter * sharesBefore;
 ```