From b4b19369cd1f76b9b4db64ba0158196c391c07df Mon Sep 17 00:00:00 2001 From: Purva Thakre Date: Fri, 19 May 2023 15:48:28 -0500 Subject: [PATCH] change wording --- CONTRIBUTING.md | 6 +++--- 1 file changed, 3 insertions(+), 3 deletions(-) diff --git a/CONTRIBUTING.md b/CONTRIBUTING.md index 0d3df21291..c6bef79244 100644 --- a/CONTRIBUTING.md +++ b/CONTRIBUTING.md @@ -93,10 +93,10 @@ If above format check fails then you will be presented with a [diff](https://bla ```bash make format ``` -We also use [Mypy](https://mypy.readthedocs.io/en/stable/) as a type checker to correct incompatible types compared to the type -hints. To test this locally, run the type check test in the top-level directory of the repository. +We also use [Mypy](https://mypy.readthedocs.io/en/stable/) as a type checker to find incompatible types compared to the type +hints in your code. To test this locally, run the type check test in the top-level directory of the repository. -To do type checking so that `mypy` can find incorrectly used types, use +To find incorrectly used types by type checking in `mypy`, use ```bash make check-types ```