typo fix

o1-labs · Dec 10, 2023 · 78069ea · 78069ea
1 parent 075e7b9
commit 78069ea
Showing 1 changed file with 1 addition and 1 deletion.
diff --git 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.