From d4ea67a6e714914a5ce29790a260d5809d5ff91a Mon Sep 17 00:00:00 2001
From: Kaleb Crans <69497802+kcrans@users.noreply.github.com>
Date: Sun, 6 Feb 2022 09:47:47 -0800
Subject: [PATCH] Fix a few typos in README (#5782)

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

diff --git a/README.md b/README.md
index 643e49823..17d59558e 100644
--- a/README.md
+++ b/README.md
@@ -80,7 +80,7 @@ A 32 bit build should work similarly (but is untested); the same is true for 32/
 
 By default, it will install z3 executable at ``PREFIX/bin``, libraries at
 ``PREFIX/lib``, and include files at ``PREFIX/include``, where ``PREFIX``
-installation prefix if inferred by the ``mk_make.py`` script. It is usually
+installation prefix is inferred by the ``mk_make.py`` script. It is usually
 ``/usr`` for most Linux distros, and ``/usr/local`` for FreeBSD and macOS. Use
 the ``--prefix=`` command line option to change the install prefix. For example:
 
@@ -158,7 +158,7 @@ You can install the Python wrapper for Z3 for the latest release from pypi using
 
 Use the ``--python`` command line flag with ``mk_make.py`` to enable building these.
 
-Note that is required on certain platforms that the Python package directory
+Note that it is required on certain platforms that the Python package directory
 (``site-packages`` on most distributions and ``dist-packages`` on Debian based
 distributions) live under the install prefix. If you use a non standard prefix
 you can use the ``--pypkgdir`` option to change the Python package directory