diff --git a/_fc-plugins/frama-clang.md b/_fc-plugins/frama-clang.md index ddaae25bb64cef994be7a63d9d2d2602856980dd..7d8cb2d7b2cee1fa90d62ee913204c5b413a3586 100644 --- a/_fc-plugins/frama-clang.md +++ b/_fc-plugins/frama-clang.md @@ -53,7 +53,7 @@ whose `master` branch should always be synchronized with Frama-C's own `master` ### Requirements - Frama-C 27.x Cobalt -- OCaml 4.08.0 or higher, the same version as the one used to +- OCaml, same version as the one used to compile Frama-C itself - camlp5 (a version compatible with the OCaml version you're using) - clang and libclang >= 11