From 0c8c89184b4e100816c6a75488c749d76563b0e8 Mon Sep 17 00:00:00 2001
From: Pietro Monticone <38562595+pitmonticone@users.noreply.github.com>
Date: Thu, 5 Oct 2023 14:03:50 +0200
Subject: [PATCH] Update README.md

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

diff --git a/README.md b/README.md
index 75d6e1dd..9ff527da 100644
--- a/README.md
+++ b/README.md
@@ -88,7 +88,7 @@ code lean-liquid
 For detailed instructions on how to work with Lean projects,
 see [this](https://leanprover-community.github.io/install/project.html). The script `scripts/get-cache.sh`
 in the folder `lean-liquid` will download the `olean` files created by our continuous integration. This
-will save you some time by not havig to do `leanproject build`.
+will save you some time by not having to do `leanproject build`.
 
 ### Reading the project