From 4a6a3491628310ae171d5f5d0dbddde2dcf6f7d5 Mon Sep 17 00:00:00 2001
From: liav-certora <114004726+liav-certora@users.noreply.github.com>
Date: Wed, 13 Mar 2024 21:23:25 +0200
Subject: [PATCH] Update CVLByExample/Summarization/WildcardVsExact/README.md

Co-authored-by: Nurit Dor <57101353+nd-certora@users.noreply.github.com>
---
 CVLByExample/Summarization/WildcardVsExact/README.md | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/CVLByExample/Summarization/WildcardVsExact/README.md b/CVLByExample/Summarization/WildcardVsExact/README.md
index 53e6ad00..a44a3ac1 100644
--- a/CVLByExample/Summarization/WildcardVsExact/README.md
+++ b/CVLByExample/Summarization/WildcardVsExact/README.md
@@ -1,6 +1,6 @@
 # What happens when a function has both exact and wildcard summarizations?
 
-When a function matches a wildcard summarization but also has an exact summarization, the exact summarization will be used to summarize
+When a function matches a wildcard summarization but also has an exact summarization, the exact summarization is used to summarize
 this function. We will demonstrate such case using a simple example.
 
 We have 2 very simple contracts: `A` (in `A.sol`) and `B` (in `B.sol`).