From c7626dd23e01bd71e268164ac57fe38fe12131a2 Mon Sep 17 00:00:00 2001
From: Son <son@son>
Date: Mon, 4 Oct 2021 16:48:44 +0200
Subject: [PATCH] add how to install pyre2 in Contributing

---
 CONTRIBUTING.md | 7 +++++++
 1 file changed, 7 insertions(+)

diff --git a/CONTRIBUTING.md b/CONTRIBUTING.md
index ae1da4c3..c2f5b0cf 100644
--- a/CONTRIBUTING.md
+++ b/CONTRIBUTING.md
@@ -40,6 +40,13 @@ You also need to install `gpg` tool, on Mac it can be done with:
 brew install gnupg
 ```
 
+If you see the `pyre2` package in the error message, you might need to install its dependencies with `brew`. 
+More info on https://github.com/andreasvc/pyre2
+
+```bash
+brew install -s re2 pybind11
+```
+
 ## Run tests
 
 ```bash