diff --git a/CONTRIBUTING.md b/CONTRIBUTING.md index 5d6892b2b8a4ebcab2c14270dbf93e909629a32c..2a7a8d94f01f1050de2fe9eb6a1ab3a854bdc42f 100644 --- a/CONTRIBUTING.md +++ b/CONTRIBUTING.md @@ -65,7 +65,7 @@ The detailed steps to submit a contribution to Frama-C are: 7. Check for unexpected changes. Use the command `make check-lint` in your terminal from the Frama-C root directory to detect trailing spaces, - tabulations or incorrect indentation (ocp-indent >= 1.8.1, camomile, + tabulations or incorrect indentation (ocp-indent = 1.8.1, camomile, clang-format and black (Python linter) are needed), and `make lint` to fix problems if any.