Skip to content

Commit b81906d

Browse files
authored
Update tool_template.md (#183)
Typo pr fixes typo found in verification tool template Resolves #NA By submitting this pull request, I confirm that my contribution is made under the terms of the Apache 2.0 and MIT licenses.
1 parent 4c86400 commit b81906d

File tree

1 file changed

+1
-1
lines changed

1 file changed

+1
-1
lines changed

doc/src/tool_template.md

+1-1
Original file line numberDiff line numberDiff line change
@@ -25,7 +25,7 @@ _Please list the license(s) that are used by your tool, and if to your knowledge
2525
3. \[and so on...\]
2626

2727
## Artifacts
28-
_If there are noteworthy examples of using the tool to perform verificaiton, please include them in this section.Links, papers, etc._
28+
_If there are noteworthy examples of using the tool to perform verification, please include them in this section.Links, papers, etc._
2929

3030
## CI & Versioning
3131
_Please describe how you version the tool and how it will be supported in CI pipelines._

0 commit comments

Comments
 (0)