From 78069ea8082b87c0011366d811e999feacb61f44 Mon Sep 17 00:00:00 2001
From: Gaki <153402253+GakiBash@users.noreply.github.com>
Date: Sun, 10 Dec 2023 15:10:00 +0000
Subject: [PATCH] typo fix

---
 website/docs/readme.md | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/website/docs/readme.md b/website/docs/readme.md
index 1a32d7dd54..6170583402 100644
--- a/website/docs/readme.md
+++ b/website/docs/readme.md
@@ -34,7 +34,7 @@ certified by the snark. For example, we have a function
 ```ocaml
 mul : var -> var -> (var, _) Checked.t.
 ```
-Given `v1, v2 : var`, `mul v1 v2` is a variable containg the product of v1 and v2,
+Given `v1, v2 : var`, `mul v1 v2` is a variable containing the product of v1 and v2,
 and the snark will ensure that this is so.