[doc] Fix documentation typo (#768)

OCamlPro · Jul 27, 2023 · f1b274e · f1b274e
1 parent e7ce642
commit f1b274e
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/docs/sphinx_docs/Usage/index.md b/docs/sphinx_docs/Usage/index.md
@@ -25,7 +25,7 @@ See the [Input section] for more information about the format of the input files
 
 ### Frontend option
 
-The `--frontend` option let's you select the frontend used to parse and type the input file. Since version 2.5.0,
+The `--frontend` option lets you select the frontend used to parse and type the input file. Since version 2.5.0,
 Alt-Ergo integrates two frontends:
 - The `legacy` frontend is the historical frontend of Alt-Ergo supporting the native language
   and (partially) supporting the SMT-LIB language. The legacy frontend is currently the default.