From 050052faf333f3907101f13135994a1d5633a2c9 Mon Sep 17 00:00:00 2001
From: Elias Rad <146735585+nnsW3@users.noreply.github.com>
Date: Wed, 3 Jul 2024 13:00:57 +0300
Subject: [PATCH] fix README.md

Signed-off-by: Elias Rad <146735585+nnsW3@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 c2156b68..7d7a94cb 100644
--- a/certora/README.md
+++ b/certora/README.md
@@ -90,7 +90,7 @@ Note also that these properties are ensured to always hold, because the contract
 
 ### Consistent asset
 
-For deposit and withdraw, it is checked that markets have a the same loan token as the loan token of the vault.
+For deposit and withdraw, it is checked that markets have the same loan token as the loan token of the vault.
 We say that such market has a consistent asset.
 The following function defined in [`ConsistentState.spec`](specs/ConsistentState.spec) is verified to always return `true` and contributes to verifying the property above.