From f6601ed22289e30f3880e18fbf78976d888035c3 Mon Sep 17 00:00:00 2001
From: Bilog WEB3 <155262265+Bilogweb3@users.noreply.github.com>
Date: Wed, 11 Dec 2024 13:02:01 +0100
Subject: [PATCH] Update README.md

Signed-off-by: Bilog WEB3 <155262265+Bilogweb3@users.noreply.github.com>
---
 certora/README.md | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/certora/README.md b/certora/README.md
index cbd2b424..f7f23146 100644
--- 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;
 ```