Fix tool template link in README (model-checking#132)

Carolyn Zech · web-flow · commit 0a8ba7bc4ccf · 2024-10-22T22:26:53.000+02:00
diff --git a/README.md b/README.md
@@ -47,4 +47,4 @@ See [the Rust repository](https://github.com/rust-lang/rust) for details.
 
 ## Introducing a New Tool
 
-Please use the [template available in this repository](.github/TOOL_REQUEST_TEMPLATE.md) to introduce a new verification tool.
+Please use the [template available in this repository](./doc/src/tool_template.md) to introduce a new verification tool.

Original file line number	Diff line number	Diff line change
`@@ -47,4 +47,4 @@ See [the Rust repository](https://github.com/rust-lang/rust) for details.`
`47`	`47`
`48`	`48`	`## Introducing a New Tool`
`49`	`49`
`50`		`-Please use the [template available in this repository](.github/TOOL_REQUEST_TEMPLATE.md) to introduce a new verification tool.`
	`50`	`+Please use the [template available in this repository](./doc/src/tool_template.md) to introduce a new verification tool.`