Merge branch 'main' into verify-iter-2

celinval · Dec 6, 2024 · f9d068f · f9d068f
2 parents 4d259e3 + eae6c8b
commit f9d068f
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/doc/src/tools.md b/doc/src/tools.md
@@ -4,7 +4,7 @@ The verification tool ecosystem for Rust is rapidly growing, and we welcome the
 In this chapter, you can find a list of tools that have already been approved for new solutions,
 what is their CI current status, as well as more details on how to use them.
 
-If the tool you would like to add a new tool to the list of tool applications,
+If you would like to add a new tool to the list of tool applications,
 please see the [Tool Application](general-rules.md#tool-applications) section.
 
 ## Approved tools: