diff --git a/doc/src/tool_template.md b/doc/src/tool_template.md index 5e7b054ed6891..c5d56b97b80d5 100644 --- a/doc/src/tool_template.md +++ b/doc/src/tool_template.md @@ -25,7 +25,7 @@ _Please list the license(s) that are used by your tool, and if to your knowledge 3. \[and so on...\] ## Artifacts -_If there are noteworthy examples of using the tool to perform verificaiton, please include them in this section.Links, papers, etc._ +_If there are noteworthy examples of using the tool to perform verification, please include them in this section.Links, papers, etc._ ## CI & Versioning _Please describe how you version the tool and how it will be supported in CI pipelines._