Update README.md

leanprover-community · Oct 5, 2023 · 0c8c891 · 0c8c891
1 parent 92f188b
commit 0c8c891
Showing 1 changed file with 1 addition and 1 deletion.
diff --git 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