From 8fec724d1e1c6730ea156e22dc435f8acae35ba7 Mon Sep 17 00:00:00 2001
From: Arsalan Cheema <arsalanc.v2@gmail.com>
Date: Fri, 25 Jun 2021 18:34:24 +0800
Subject: [PATCH] Update README.md

---
 README.md | 1 -
 1 file changed, 1 deletion(-)

diff --git a/README.md b/README.md
index bfa8002..0d55d50 100644
--- a/README.md
+++ b/README.md
@@ -96,7 +96,6 @@ def binarysearch(xs: list[int], key: int) -> int:
   low: int = 0
   high: int = length - 1
   # decreases high - low
-  # invariant length == len(xs)
   # invariant 0 <= low and high < length and low <= high + 1
   # invariant forall i :: 0 <= i and i < length and not (low <= i and i <= high) ==> xs[i] != key
   while low <= high: