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.