From c9427d4611aca090f3e37cb5afad632ff6949893 Mon Sep 17 00:00:00 2001
From: Hacktoberfest2020new
 <72194906+Hacktoberfest2020new@users.noreply.github.com>
Date: Thu, 1 Oct 2020 14:33:23 +0530
Subject: [PATCH] Update README.md

---
 README.md | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/README.md b/README.md
index 772e4a8..1daa18e 100644
--- a/README.md
+++ b/README.md
@@ -12,7 +12,7 @@ capable of generating loop invariants in an expressive and decisive language and
 guarantees of invariant quality. A summary of a loop captures the relationship between loop inputs and 
 outputs as a set of symbolic constraints. For instance, we can use a loop summary to check program 
 properties after a loop; and in symbolic execution we can use it to guide test case generation. 
-The aim of this study is to explain the interlacing of multiple paths in a nested or non-nested loop and 
+The aim of this study is to explain the interlacing of the multiple paths in a nested or non-nested loop and 
 to generate a summarization of disjunctive loops for such multi-path loops.
 
 
@@ -61,4 +61,4 @@ Quick start
 1. (optional) create virtual env ex. mkvirtualenv mytest_env
 2. pip install -r requirements.txt
 3. python manage.py migrate
-4. python manage.py runserver
\ No newline at end of file
+4. python manage.py runserver